Jan Steemann 6946f827fd removed version number from tex/pdf manual		2013-11-08 15:24:24 +01:00
..
dba-manual.tex	…
header.tex	…
implementor-manual.tex	…
install-manual.tex	…
ref-manual.tex	…
tools-manual.tex	…
user-manual.tex	…