comparison GRAAL_README @ 3605:6d6a90dc12d0

IdealGraphVisualizer: replace settings icon
author Peter Hofer <peter.hofer@jku.at>
date Mon, 31 Oct 2011 16:25:57 +0100
parents d8c27956ec6e
children
comparison
equal deleted inserted replaced
3604:e4175b8b85d3 3605:6d6a90dc12d0