r10675: remove commands commented-out
[ctsim.git] / doc / divergent.gif
doc/divergent.gif