]> git.tue.mpg.de Git - paraslash.git/commit
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)
commit4b22b42cd97e269118e6d4f6e0f4442f098a843f
tree9d4dbf2bc0b7d19f4ba7135f4c565151e70a891c
parent61a22ff7302998a8ed75a168a2c8147b39508b95
gui: Rename label of check_key_map_args()

The old name is misleading since the code starting at this label will
be executed unconditionally.
gui.c