| commit | 61cd77922f51458b90541239b56943606de955e2 | [log] [tgz] |
|---|---|---|
| author | William Salmon <will.salmon@codethink.co.uk> | Thu Apr 16 14:59:08 2020 +0100 |
| committer | William Salmon <will.salmon@codethink.co.uk> | Mon Apr 20 10:14:32 2020 +0100 |
| tree | 65520d3e74b2e5e24abb5d4136b5688e18ffce69 | |
| parent | f093e630d6d4272930f45595d5f1b069879412ce [diff] |
_workspaces.py: Update workspace version if possible This also informs the user which workspaces are open.