directory / @ 718:1ab9b538c0bb default tip

name size permissions
dir. doc/ drwxr-xr-x
dir. icons/ drwxr-xr-x
file .hgignore 61 -rw-r--r--
file .hgsigs 800 -rw-r--r--
file .hgtags 3026 -rw-r--r--
file COPYING 1576 -rw-r--r--
file INSTALL 636 -rw-r--r--
file Makefile 370 -rw-r--r--
file Makefile.common 916 -rw-r--r--
file Makefile.cross-mingw 1849 -rw-r--r--
file Makefile.unix 461 -rw-r--r--
file VERSION 6 -rw-r--r--
file main.c 61603 -rw-r--r--
file resource.ico 12774 -rw-r--r--
file resource.rc.in 537 -rw-r--r--
file ui.c 16717 -rw-r--r--
file ui.h 2371 -rw-r--r--
file util.c 13753 -rw-r--r--
file util.h 2599 -rw-r--r--