diff options
| author | Mikkel Oscar Lyderik <mikkeloscar@gmail.com> | 2015-12-14 14:56:28 +0100 |
|---|---|---|
| committer | Mikkel Oscar Lyderik <mikkeloscar@gmail.com> | 2015-12-14 15:14:50 +0100 |
| commit | cc08daded412966ba9068ad9ac63c5adea9ef5d4 (patch) | |
| tree | 8e5c5221ffdc1bb2142777e6315d90d93ddb25e6 /config | |
| parent | cb9b157e03911a36136b42f189279053612f7e7c (diff) | |
Implement bar option: strip_workspace_numbers <yes|no>
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions