diff options
| author | Furkan Sahin <furkan-dev@proton.me> | 2018-07-09 19:04:25 +0100 |
|---|---|---|
| committer | Furkan Sahin <furkan-dev@proton.me> | 2018-07-09 19:04:25 +0100 |
| commit | 40cd90493702e2336a9331ea0da3484cd38cbc1c (patch) | |
| tree | ba9c11ecf60135a23573e9e5790820c43da66e12 /common/util.c | |
| parent | 1b98dd32c9fc0618e8a7f87a0f032af23bab2a38 (diff) | |
| parent | 0c742a27596883c0c83fd8690e131a88236c2d8f (diff) | |
Merge pull request #2230 from vilhalmer/replace-empty-workspace
Replace empty workspace with moved workspace
Diffstat (limited to 'common/util.c')
0 files changed, 0 insertions, 0 deletions