comparison make/jprt.properties @ 2699:a51ef0310dad

Document new IdealGraphPrinterObserver constructors
author Peter Hofer <peter.hofer@jku.at>
date Wed, 18 May 2011 15:17:17 +0200
parents f7702f8c0e25
children 03b943e6c025
comparison
equal deleted inserted replaced
2698:b179be22a3db 2699:a51ef0310dad