diff options
| author | Matthias Benkard <mulk@minimulk.mst-plus> | 2008-08-28 12:24:10 +0200 |
|---|---|---|
| committer | Matthias Benkard <mulk@minimulk.mst-plus> | 2008-08-28 12:24:10 +0200 |
| commit | bb6d54154bd6a33806c04b98475228450b5aa1b0 (patch) | |
| tree | 25d4b50cd5e35e796ab94010d28da5fca1099d3c /configure | |
| parent | 8669238771ef69a1e7817185c7fd2c03e926818b (diff) | |
Listener: Add a bottom bar indicating the interpreter's status.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions