Open GoogleCodeExporter opened 9 years ago
Most checks print the name and ID of a document each time checkDocument is called; make this a standard action.
Original issue reported on code.google.com by leonderczynski on 15 Mar 2010 at 12:33
leonderczynski
Original issue reported on code.google.com by
leonderczynski
on 15 Mar 2010 at 12:33