diff options
Diffstat (limited to 'crawl-ref/source/menu.cc')
| -rw-r--r-- | crawl-ref/source/menu.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/crawl-ref/source/menu.cc b/crawl-ref/source/menu.cc index 6b282bd849..727948aadd 100644 --- a/crawl-ref/source/menu.cc +++ b/crawl-ref/source/menu.cc @@ -6,8 +6,11 @@ * Modified for Crawl Reference by $Author$ on $Date$ */ -#include <cctype> #include "AppHdr.h" +REVISION("$Rev$"); + +#include <cctype> + #include "cio.h" #include "menu.h" #include "macro.h" |