Use better names for hotkey related constants; add somecomments (FS#11191)
[kugel-rb.git] / manual / intro / 
treeb03f427a0612f18d8f5e95bcbc834e56fe954c70
drwxr-xr-x   ..
-rw-r--r-- 2104 main.tex