diff -r ffdbee7b92ed -r fc82129bcae4 web/ldtplatform/templates/ldt/ldt_utils/workspace.html
--- a/web/ldtplatform/templates/ldt/ldt_utils/workspace.html	Tue Oct 18 12:44:00 2011 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-{% extends "ldt/ldt_utils/workspace_base.html" %}
-