directory / @ 5:294581b9c72f

name size permissions
file .hgignore 130 -rw-r--r--
file .hgtags 54 -rw-r--r--
file findplayer.pl 3198 -rw-r--r--
file gm.html 24353 -rw-r--r--
file scrape-gm.py 5802 -rwxr-xr-x