diff Tools/scripts/texcheck.py @ 33845:032f342efcd2 legacy-trunk

Very few little improvements.
author Facundo Batista <facundobatista@gmail.com>
date Tue, 26 Oct 2004 23:38:46 +0000
parents 6f36e02b1f69
children d7c5bd59698d
line wrap: on
line diff