From: Holger Schemel Date: Tue, 14 Jun 2016 09:33:41 +0000 (+0200) Subject: fixed problem with mixed use of game pause and tape pause buttons X-Git-Tag: 4.0.0.0-rc3~8 X-Git-Url: https://git.artsoft.org/?a=commitdiff_plain;h=c7d5dd6184f1dc229aeefaef48bea65dea6e1f79;hp=c7d5dd6184f1dc229aeefaef48bea65dea6e1f79;p=rocksndiamonds.git fixed problem with mixed use of game pause and tape pause buttons ---