added operation number to title
[engrid.git] / manual / 
tree440970a1b36a97001ae0fe5a6552f8d0792b4bd1
drwxr-xr-x   ..
-rw-r--r-- 253 Makefile
-rw-r--r-- 10152 engits.bib
-rw-r--r-- 2962706 engrid_manual.pdf
-rw-r--r-- 24471 engrid_manual.tex
drwxr-xr-x - figures
-rw-r--r-- 19761 gpl.tex
drwxr-xr-x - logos
drwxr-xr-x - sketches