#544: slider to control AI sound volume missing
authorThorstenB <brehmt@gmail.com>
Sat, 7 Jul 2012 15:26:05 +0000 (17:26 +0200)
committerThorstenB <brehmt@gmail.com>
Sat, 7 Jul 2012 15:26:05 +0000 (17:26 +0200)
commit3a0ee98b88951164ce355b825ead57a20853489f
tree8327005812188868bbbcbcb773452d3b0c8774ae
parentf20d22fb5c9f5fcf304e46f0fd2caa5850ada796
#544: slider to control AI sound volume missing
(not a bugfix really, but just too trivial).
gui/dialogs/sound.xml
preferences.xml