diff options
| author | Martin Wimpress <[email protected]> | 2015-06-09 22:17:15 +0100 |
|---|---|---|
| committer | Martin Wimpress <[email protected]> | 2015-06-09 22:17:15 +0100 |
| commit | cbfc66c6939923ab7cb9787d34a29478a5d68808 (patch) | |
| tree | c26ed6e15672afa03c905bf63ea36c475e2f2c4b /src/tools | |
| parent | 77adc6244e90fa97f29317e487db0d8ba07d7796 (diff) | |
| parent | babfc4b2dd4590fb7f0a7a62b794ec1c32a55e0a (diff) | |
| download | marco-cbfc66c6939923ab7cb9787d34a29478a5d68808.tar.bz2 marco-cbfc66c6939923ab7cb9787d34a29478a5d68808.tar.xz | |
Merge pull request #188 from monsta/patch-21.8
[1.8] prefs: make workspace name actually change
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions