diff options
| author | Furkan Sahin <furkan-dev@proton.me> | 2018-11-19 17:56:18 +0100 |
|---|---|---|
| committer | Furkan Sahin <furkan-dev@proton.me> | 2018-11-19 17:56:18 +0100 |
| commit | 8d1c9e7139cd521b9980be62d76e1c6531a382fc (patch) | |
| tree | 1b731331f1ea6ebb430a9bf4dbc1db482bc7ff5d /config.in | |
| parent | 0787f269ae53446cdc8feaf5285a9ec381d58609 (diff) | |
| parent | 094de4a466c5cd59ae6fea3b34231b1cf1eb1ff0 (diff) | |
Merge pull request #3083 from c-edw/feature/StripWorkspaceName
Implement strip_workspace_name.
Diffstat (limited to 'config.in')
0 files changed, 0 insertions, 0 deletions