asteronits: convert sound effect from a broken mp3 to ogg

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

diff --git a/contrib/asteronits/assets/sounds/fire.mp3 b/contrib/asteronits/assets/sounds/fire.mp3
deleted file mode 100644 (file)
index d1f2ba2..0000000
Binary files a/contrib/asteronits/assets/sounds/fire.mp3 and /dev/null differ

diff --git a/contrib/asteronits/assets/sounds/fire.ogg b/contrib/asteronits/assets/sounds/fire.ogg
new file mode 100644 (file)
index 0000000..a56e01a
Binary files /dev/null and b/contrib/asteronits/assets/sounds/fire.ogg differ

diff --git a/contrib/asteronits/src/asteronits.nit b/contrib/asteronits/src/asteronits.nit
index 006d1e1..02cb3f4 100644 (file)
--- a/contrib/asteronits/src/asteronits.nit
+++ b/contrib/asteronits/src/asteronits.nit
@@ -61,7 +61,7 @@ redef class App
        var world = new World(12, 2, display.aspect_ratio) is lazy
 
        # Sound effects
-       private var fx_fire = new Sound("sounds/fire.mp3")
+       private var fx_fire = new Sound("sounds/fire.ogg")
        private var fx_explosion_ship = new Sound("sounds/explosion_ship.wav")
        private var fx_explosion_asteroids = new Sound("sounds/explosion_asteroids.wav")