]> matita.cs.unibo.it Git - helm.git/tree
Bug fixed: the accelerators for Close and Quit were both Ctrl+q (???)
drwxr-xr-x - helm
drwxr-xr-x - matita