From: bangerth Date: Tue, 22 Jun 2010 16:11:05 +0000 (+0000) Subject: Remove files that are apparently not used any more. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f7c7a5af308dc4f5154b53dec466b515dcbbe2bf;p=dealii-svn.git Remove files that are apparently not used any more. git-svn-id: https://svn.dealii.org/trunk@21265 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/doxygen/tutorial/foot.html b/deal.II/doc/doxygen/tutorial/foot.html deleted file mode 100644 index 752a473868..0000000000 --- a/deal.II/doc/doxygen/tutorial/foot.html +++ /dev/null @@ -1,12 +0,0 @@ - -
- - - - - -
- - diff --git a/deal.II/doc/doxygen/tutorial/head.html b/deal.II/doc/doxygen/tutorial/head.html deleted file mode 100644 index 6e3fbb1b5e..0000000000 --- a/deal.II/doc/doxygen/tutorial/head.html +++ /dev/null @@ -1,17 +0,0 @@ - - - - - -Step-by-Step - - - - - - - -