Cleaned up a bit

This commit is contained in:
martin 2002-09-06 14:05:43 +00:00
parent 09ba0c8a32
commit 7c6addde73

View File

@ -8,8 +8,6 @@
//
// Normally this file does not need to be edited.
//
// XXX this might need some rationalisation
//
//////////////////////////////////////////////////////////////
// Error reporting and bug hunting