You need to sign in or sign up before continuing.
-
Matthias Klose authored
Doc/dist/dist.tex: avoid uncommenting the verbose environment (by the py2texi tool)
abead544
Doc/dist/dist.tex: avoid uncommenting the verbose environment (by the py2texi tool)