re-apply a few undone updates; simplifiy a bit args in main
[valse.git] / .gitmodules
2017-03-16 emilieMerge branch 'master' of auder.net:valse
2017-03-16 Benjamin AuderMerge branch 'master' of auder.net:valse
2017-03-16 Benjamin AuderFolder reorganization