filename | src/gtkui/gtkui.h |
changeset | 887:8b3ee741c9d7 |
author | nkeynes |
date | Mon Oct 20 06:11:10 2008 +0000 (15 years ago) |
permissions | -rw-r--r-- |
last change | Fix const-correctness |
file | annotate | diff | log |
.
filename | src/gtkui/gtkui.h |
changeset | 887:8b3ee741c9d7 |
author | nkeynes |
date | Mon Oct 20 06:11:10 2008 +0000 (15 years ago) |
permissions | -rw-r--r-- |
last change | Fix const-correctness |
file | annotate | diff | log |