diff runjython.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 54d4c210a34e
line wrap: on
line diff