added manual to engrid_src
[engrid.git] / manual / 
tree4c1bc6926293cdcaa8542465a7bc1bb74a8695a5
drwxr-xr-x   ..
-rw-r--r-- 10152 engits.bib
-rw-r--r-- 2935769 engrid_manual.pdf
-rw-r--r-- 23725 engrid_manual.tex
drwxr-xr-x - figures
-rw-r--r-- 19761 gpl.tex
drwxr-xr-x - logos
drwxr-xr-x - sketches