From a95deacf344c230c5f26412c2678d24d84cc3a22 Mon Sep 17 00:00:00 2001 From: guido Date: Wed, 26 Mar 2003 13:33:39 +0000 Subject: [PATCH] title.html is part of the archive again git-svn-id: https://svn.dealii.org/trunk@7339 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/{title.html.in => title.html} | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) rename deal.II/doc/{title.html.in => title.html} (87%) 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

-- 2.39.5