diff agent/make/marks_notes.html @ 3060:f08a810b8449

Graph.getNodes() is Iterable<Node>, doesn't return null nodes and doesn't throw ConcurrentModificationException
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 21 Jun 2011 14:32:12 +0200
parents a61af66fc99e
children 5ed317b25e23
line wrap: on
line diff