comparison GRAAL_AUTHORS @ 3605:6d6a90dc12d0

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