comparison runscimark.sh @ 3596:3a0a26011371

For the entries of the Window menu, uniformly use the window title
author Peter Hofer <peter.hofer@jku.at>
date Mon, 17 Oct 2011 16:30:41 +0200
parents cda0630a8640
children
comparison
equal deleted inserted replaced
3595:97c1d4902e3f 3596:3a0a26011371