Author: marci Date: Wed Apr 21 19:14:59 2004 New Revision: 492 Added: hugo/trunk/src/work/marci/oldies/dimacs.hh - copied unchanged from r491, /hugo/trunk/src/work/marci/dimacs.hh Removed: hugo/trunk/src/work/marci/dimacs.hh Log: dimacs.hh goes to oldies