Migrate servlet libraries
[music.git] / .gitmodules