directory / @ 178:ef24ad27c83d

name size permissions
file .dir-locals.el 190 -rw-r--r--
file .hgignore 90 -rw-r--r--
file .hgtags 368 -rw-r--r--
file 2048.html 37315 -rw-r--r--
file AIs.rst 939 -rw-r--r--
file AUTHORS.rst 230 -rw-r--r--
file CHANGES.rst 901 -rw-r--r--
file HACKING.rst 1203 -rw-r--r--
file Makefile 7074 -rw-r--r--
file README.rst 798 -rw-r--r--
file ai.js 22714 -rw-r--r--
file board.js 86264 -rw-r--r--
file header.rst 301 -rw-r--r--
file perf.html 3576 -rw-r--r--
file perf.js 624 -rw-r--r--
file rst.css 921 -rw-r--r--
file rule.js 6710 -rw-r--r--