]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
projects / dealii-svn.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 97740ab)
Fix some $Id$s
authormaier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Sun, 3 Nov 2013 10:56:42 +0000 (10:56 +0000)
committermaier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Sun, 3 Nov 2013 10:56:42 +0000 (10:56 +0000)
git-svn-id: https://svn.dealii.org/trunk@31529 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/external-libs/arpack.html patch | blob | history
deal.II/doc/external-libs/mumps.html patch | blob | history

diff --git a/deal.II/doc/external-libs/arpack.html b/deal.II/doc/external-libs/arpack.html
index ce19ec4501bd98ae694fcd500adc018436dfe882..8d7182e6acbf82847b315c2aa20b8ceeafc24fa6 100644 (file)
--- a/deal.II/doc/external-libs/arpack.html
+++ b/deal.II/doc/external-libs/arpack.html
@@ -7,7 +7,7 @@
     <link href="../screen.css" rel="StyleSheet">
     <meta name="copyright" content="Copyright (C) 2010, 2013 by the deal.II authors">
     <meta name="date" content="$Date$">
-    <meta name="svn_id" content="$Id: readme-arpack.html$">
+    <meta name="svn_id" content="$Id$">
     <meta name="keywords" content="deal.II"> 
   </head>                                                                      
   <body> 
diff --git a/deal.II/doc/external-libs/mumps.html b/deal.II/doc/external-libs/mumps.html
index e608a8a006a9ecb901f8f722dc55d740f74c89a4..7bb7b236f2d2d3cb9b3bf0052482f66f668129fd 100644 (file)
--- a/deal.II/doc/external-libs/mumps.html
+++ b/deal.II/doc/external-libs/mumps.html
@@ -7,7 +7,7 @@
     <link href="../screen.css" rel="StyleSheet">
     <meta name="copyright" content="Copyright (C) 2010, 2011, 2012, 2013 by the deal.II authors">
     <meta name="date" content="$Date$">
-    <meta name="svn_id" content="$Id: readme-mumps.html$">
+    <meta name="svn_id" content="$Id$">
     <meta name="keywords" content="deal.II">
   </head>
   <body>
Git mirror of the historical svn repository

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.