[r2003-10-24 09:37:18 by szach] ported to new schema implementation, commented out validation for the moment Original author: szach Date: 2003-10-24 09:37:18+00:00
Changed paths:
tools/validate.ml