]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
gui: Rename label of check_key_map_args()
authorAndre Noll <maan@systemlinux.org>
Tue, 7 Jan 2014 17:47:20 +0000 (17:47 +0000)
committerAndre Noll <maan@systemlinux.org>
Sun, 4 May 2014 12:04:04 +0000 (14:04 +0200)
The old name is misleading since the code starting at this label will
be executed unconditionally.


No differences found