diff README_GRAAL.txt @ 5815:272f9da7ce78

Put Binary and xml dumpers behing a common interface and use the same dumphandler for them Dumping to files should now work even with mutiple dumping threads
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 11 Jul 2012 14:36:32 +0200
parents 70aaaa83b93a
children a89a18a57617
line wrap: on
line diff