Jean-Philip Desjardins 80760eb169 iOS: Now a simple menu instead of a "pause menu".
To be consistent with Android behavior.
2019-01-11 12:58:58 -05:00
..
2017-11-17 18:06:13 -05:00
2018-04-30 21:01:23 +01:00
2018-04-30 21:01:23 +01:00
2018-04-30 21:01:23 +01:00
2018-04-30 21:01:23 +01:00
2018-10-26 13:29:31 -04:00
2018-10-26 08:14:14 -04:00
2018-04-30 21:01:23 +01:00
2018-04-30 21:01:23 +01:00
2018-04-30 21:01:23 +01:00
2017-04-01 17:50:37 -04:00
2018-04-30 21:01:23 +01:00
2015-05-31 22:59:11 -04:00
2018-04-30 21:01:23 +01:00
2017-05-29 06:01:32 +01:00
2018-04-30 21:01:23 +01:00
2018-04-30 21:01:23 +01:00
2018-04-30 21:01:23 +01:00
2018-04-30 21:01:23 +01:00
2018-04-30 21:01:23 +01:00