build: force Travis CI to build under _build/
[adg.git] / nodist / 
tree557b91db13c596dec0ea9f7df49d9625835d24d9
drwxr-xr-x   ..
-rw-r--r-- 16 .gitignore
-rw-r--r-- 847 Makefile
-rw-r--r-- 836 adg.mp
-rw-r--r-- 9630 adg.xcf.bz2
-rw-r--r-- 2674 overview.tex
-rwxr-xr-x 1706 pre-commit
-rw-r--r-- 5943 symbols.mp