/
-rw-r--r-- 2017-01-31 03:42 +0200 190 .dir-locals.el
-rw-r--r-- 2017-01-31 03:42 +0200 90 .hgignore
-rw-r--r-- 2017-01-31 03:42 +0200 656 .hgtags
-rw-r--r-- 2017-01-31 03:42 +0200 38431 2048.html
-rw-r--r-- 2017-01-31 03:42 +0200 939 AIs.rst
-rw-r--r-- 2017-01-31 03:42 +0200 230 AUTHORS.rst
-rw-r--r-- 2017-01-31 03:42 +0200 1057 CHANGES.rst
-rw-r--r-- 2017-01-31 03:42 +0200 1422 HACKING.rst
-rw-r--r-- 2017-01-31 03:42 +0200 7350 Makefile
-rw-r--r-- 2017-01-31 03:42 +0200 798 README.rst
-rw-r--r-- 2017-01-31 03:42 +0200 22714 ai.js
-rw-r--r-- 2017-01-31 03:42 +0200 87186 board.js
-rw-r--r-- 2017-01-31 03:42 +0200 301 header.rst
-rw-r--r-- 2017-01-31 03:42 +0200 3576 perf.html
-rw-r--r-- 2017-01-31 03:42 +0200 624 perf.js
-rw-r--r-- 2017-01-31 03:42 +0200 921 rst.css
-rw-r--r-- 2017-01-31 03:42 +0200 6710 rule.js