From: guido Date: Wed, 26 Mar 2003 13:33:39 +0000 (+0000) Subject: title.html is part of the archive again X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a95deacf344c230c5f26412c2678d24d84cc3a22;p=dealii-svn.git title.html is part of the archive again git-svn-id: https://svn.dealii.org/trunk@7339 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/title.html.in b/deal.II/doc/title.html similarity index 87% rename from deal.II/doc/title.html.in rename to deal.II/doc/title.html index ea0b2887ae..dd93387787 100644 --- a/deal.II/doc/title.html.in +++ b/deal.II/doc/title.html @@ -9,9 +9,8 @@ - -

deal.II Documentation $Name$

+

deal.II Documentation