]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/project-management.xml
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
Great changes in all the stylesheets. Every page is now generated in two
[helm.git] / helm / mowgli / home / xml / project-management.xml
diff --git a/helm/mowgli/home/xml/project-management.xml b/helm/mowgli/home/xml/project-management.xml
index 18948fc01e79419e8d8b0802bb561f333e02b481..aa1dfaeaaf4b1945e04e792bca080216de89bd13 100644 (file)
--- a/helm/mowgli/home/xml/project-management.xml
+++ b/helm/mowgli/home/xml/project-management.xml
@@ -1,7 +1,6 @@
 <?xml version="1.0"?>
 
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
-               "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 
 <html>
  <head>
Unnamed repository; edit this file 'description' to name the repository.