Closed getvictor closed 11 years ago
When deleting a playground that was saved with a library set (like UVM 1.1d), I get: "Error connecting to server. Delete request failed: error"
This is related to issue #1
When deleting a playground that was saved with a library set (like UVM 1.1d), I get: "Error connecting to server. Delete request failed: error"
This is related to issue #1