Mathieu Schroeter 21bd7d3e90 Use ogg music files instead of midi ...

It prevents different behaviour between OS.

2017-12-07 11:01:01 +01:00

..

music000.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00

music001.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00

music002.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00

music003.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00

music004.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00

music005.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00

music006.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00

music007.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00

music008.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00

music009.ogg

Use ogg music files instead of midi

2017-12-07 11:01:01 +01:00