]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/profile-manager/index.html
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / DEVEL / profile-manager / index.html
diff --git a/helm/DEVEL/profile-manager/index.html b/helm/DEVEL/profile-manager/index.html
deleted file mode 100644 (file)
index caeebcf..0000000
--- a/helm/DEVEL/profile-manager/index.html
+++ /dev/null
@@ -1,8 +0,0 @@
-<html>
-
-<frameset rows="75%,*">
-  <frame src="control.html" name="control"/>
-  <frame src="welcome.html" name="result"/>
-</frameset>
-
-</html>
Unnamed repository; edit this file 'description' to name the repository.