0fdb31 Merge PR #961: Save custom workspaces. Closes #245.

Merged and Committed by konstantin 4 years ago
    Merge PR #961: Save custom workspaces. Closes #245.
    
        
file modified
+3 -0
file modified
+136 -45
file modified
+15 -0
file modified
+2 -1