Fri, 24 Nov 2023 14:59:26 +0100
Virtual Environment Manager
- Added a method to clean the dictionary of defined virtual environments from non-existent ones upon loading/re-loading.
10340
548b4c7f410e
Virtual Environment Manager
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
10333
diff
changeset
|
1 | (binary:application/octet-stream) |