chiark / gitweb /
texinice.tex: Fix bungled change.