nodist: added captions to overview images
[adg.git] / nodist / 
treebf85b1a10459bd84bb29de9911e14a27f64753e7
drwxr-xr-x   ..
-rw-r--r-- 16 .gitignore
-rw-r--r-- 563 Makefile
-rw-r--r-- 836 adg.mp
-rw-r--r-- 9630 adg.xcf.bz2
-rw-r--r-- 2553 overview.tex
-rwxr-xr-x 1706 pre-commit
-rw-r--r-- 5943 symbols.mp