build: allow verbose build in nodist
[adg.git] / nodist / 
tree0eb2eb625dc59da6bc222ca4555aa9de6ee67e6a
drwxr-xr-x   ..
-rw-r--r-- 90 .gitignore
-rw-r--r-- 1080 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