diff options
| author | emersion <contact@emersion.fr> | 2018-04-02 12:28:08 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-02 12:28:08 -0400 |
| commit | 2a8985a3451f8be7e4b1eb21e3266e9f5b979b39 (patch) | |
| tree | ab377eb7b78ed91bd430579468afa2190b86762a /include | |
| parent | 7e3aa1daa8b945b762d98bc67c660cdc6c94b72f (diff) | |
| parent | c901510e01f7648a549187b128ed9d0f9c5627eb (diff) | |
Merge pull request #1697 from RedSoxFan/back-and-forth
Fix back-and-forth workspace name saving for non-empty workspaces
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions