]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 11 Jan 2000 16:00:28 +0000 (16:00 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 11 Jan 2000 16:00:28 +0000 (16:00 +0000)
git-svn-id: https://svn.dealii.org/trunk@2194 0785d39b-7218-0410-832d-ea1e28bc413d

CVSROOT/loginfo

index 8b772d0f0c475b5cf105524c511ac4ad776a6920..0def03eb3b4f0f004861a7be6117bb2398944d04 100644 (file)
@@ -20,7 +20,7 @@ DEFAULT               (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CV
 #
 # The various DEAL libraries
 #
-^deal.II/base.*                (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/base.html > /tmp/Tbase; mv /tmp/Tbase $CVSROOT/LOG/base.html; chmod a+r $CVSROOT/LOG/base-2000.html
+^deal.II/base.*                (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/base-2000.html > /tmp/Tbase; mv /tmp/Tbase $CVSROOT/LOG/base-2000.html; chmod a+r $CVSROOT/LOG/base-2000.html
 #
 ^reports.*             (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/reports.html > /tmp/Treports; mv /tmp/Treports $CVSROOT/LOG/reports.html; chmod a+r $CVSROOT/LOG/reports.html
 #
@@ -28,7 +28,7 @@ DEFAULT               (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CV
 #
 ^deal.II/lac.*         (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/lac.html > /tmp/Tlac; mv /tmp/Tlac $CVSROOT/LOG/lac.html; chmod a+r $CVSROOT/LOG/lac.html
 #
-^deal.II/deal.*                (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/deal.1999.html > /tmp/Tdeal; mv /tmp/Tdeal $CVSROOT/LOG/deal.1999.html; chmod a+r $CVSROOT/LOG/deal.1999.html
+^deal.II/deal.*                (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/deal-2000.html > /tmp/Tdeal; mv /tmp/Tdeal $CVSROOT/LOG/deal-2000.html; chmod a+r $CVSROOT/LOG/deal-2000.html
 #
 ^deal.II/doc.*         (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/doc.html > /tmp/Tdoc; mv /tmp/Tdoc $CVSROOT/LOG/doc.html; chmod a+r $CVSROOT/LOG/doc.html
 

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.