comparison THIRD_PARTY_README @ 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 f6ba9007b2c6
children 9a48187fef5e
comparison
equal deleted inserted replaced
3595:97c1d4902e3f 3596:3a0a26011371