ec9b3e Give the initially empty workspace the name workspace.gz for consistency.

Authored and Committed by Jerry James 5 years ago
1 file changed. 1 lines added. 1 lines removed.
    Give the initially empty workspace the name workspace.gz for consistency.
    
        
file modified
+1 -1