| commit | ceeccadbf9cd9b5759002ecd007a80f2277c2ce5 | [log] [tgz] |
|---|---|---|
| author | apanchenk <apanchenk> | Fri Apr 24 14:47:27 2009 +0000 |
| committer | apanchenk <apanchenk> | Fri Apr 24 14:47:27 2009 +0000 |
| tree | 5d1b538bfc53a720ab6e00be5f6ac8bd9e2abaee | |
| parent | f6924d9ce1f5b5a89cca68bd3722d3d835dda319 [diff] |
- priority for tclchecker configurations - consistent ordering in prefs and context menu - export multiple configs