X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fprofile-manager%2Fcontrol.html;fp=helm%2FDEVEL%2Fprofile-manager%2Fcontrol.html;h=0000000000000000000000000000000000000000;hb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;hp=2feb02fe9e4dff1d44ee86d3a775d57819697352;hpb=2b2b90087f836c2f32291935216549e9370e68c3;p=helm.git
diff --git a/helm/DEVEL/profile-manager/control.html b/helm/DEVEL/profile-manager/control.html
deleted file mode 100644
index 2feb02fe9..000000000
--- a/helm/DEVEL/profile-manager/control.html
+++ /dev/null
@@ -1,240 +0,0 @@
-
-
-
-Profile Manager Control Panel
-
-
-
-
-
-
-
-
-
-
-Profile Manager Control Panel |
-
-
-
-
-
-This is a control panel for the profile manager. You can control a
-local or remote profile manager by filling the appropriate field below
-and sending the desired commands. Any command issued to the profile
-manager results into an XML response. Note that in order to use this
-page you must have JavaScript enabled. If you have troubles,
-please send an email to the author: lpadovan at cs dot unibo dot it.
-
-
-
-
-WARNING: the information stored in a profile,
-including the password, IS NOT encrypted in the profile nor while it
-is travelling from your computer to the profile manager. DO NOT USE
-THE PROFILE MANAGER FOR STORING SENSIBLE INFORMATION LIKE PASSWORDS
-FOR SECURE ACCOUNTS OR ANY OTHER PERSONAL DATA.
-
-
-
-
-
-
-
-
- |
-
-
- |
-
-
-
-
- |
-
-
-
-
- |
-
-
-
-
- |
-
-
-
-
- |
-
-
-
-
- |
-
-
-
-
- |
-
-
-
-
-
-
-
-