Back to bug 263

Who When What Removed Added
adavid 2006-02-15 15:30:33 CET Status NEW ASSIGNED
adavid 2006-02-22 16:25:46 CET Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2007-03-02 22:26:26 CET Component Build system (UPPAAL) all
Product UPPAAL Build system

Back to bug 263