Jan Steemann df94937395 use the upquote package to have real single quotes in the manual instead of latex backticks		2013-01-15 10:03:03 +01:00
..
dba-manual.tex	…
header.tex	use the upquote package to have real single quotes in the manual instead of latex backticks	2013-01-15 10:03:03 +01:00
imp-manual.tex	…
implementor-manual.tex	…
install-manual.tex	…
ref-manual.tex	…
user-manual.tex	…