author | Jon A. Cruz <jon@joncruz.org> | |
Fri, 10 Sep 2010 08:34:09 +0000 (01:34 -0700) | ||
committer | Jon A. Cruz <jon@joncruz.org> | |
Fri, 10 Sep 2010 08:34:09 +0000 (01:34 -0700) | ||
commit | 7470494cb0c0634ac4278a274fdf7f1814b81ab5 | |
tree | f43407a1dc9376006272bcb50d07b7b9c500a0dc | tree | snapshot |
parent | 6b464dfa85f56bbe7e0ff053bcb709fe346a5e2c | commit | diff |
Fixed valgrind-detected issue with tooltip shortcuts and profile manager on delete.
src/profile-manager.cpp | diff | blob | history | |
src/shortcuts.cpp | diff | blob | history | |
src/verbs.cpp | diff | blob | history | |
src/verbs.h | diff | blob | history |