icons/addnode.png
author hegyi
Fri, 06 Jan 2006 13:58:49 +0000
branchgui
changeset 111 ab3107255754
permissions -rw-r--r--
Result of KruskalGUIAlgo is refreshed if displayed, but no more setin a forced way.
     1 (binary:image/png)