comparison make/jprt.properties @ 3613:b1280fa5b535

IdealGraphVisualizer: make 'Save as' work
author Peter Hofer <peter.hofer@jku.at>
date Wed, 02 Nov 2011 18:41:30 +0100
parents 03b943e6c025
children 0cc8a70952c3
comparison
equal deleted inserted replaced
3612:ed3ac862d22d 3613:b1280fa5b535