| commit | 44b8e81c425fed957b91b5ff0eff4f2a0c12157f | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Tue Aug 18 14:47:20 1992 +0000 |
| committer | Guido van Rossum <guido@python.org> | Tue Aug 18 14:47:20 1992 +0000 |
| tree | f7119d5d2a34df074d3f97d9883840fee7d76670 | |
| parent | 7ff90ef71491d4ff5a22146510bc9a51d521973d [diff] |
Change window title: prefix '* ' means playing.