]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
comments
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 4 Sep 1998 14:51:36 +0000 (14:51 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 4 Sep 1998 14:51:36 +0000 (14:51 +0000)
git-svn-id: https://svn.dealii.org/trunk@571 0785d39b-7218-0410-832d-ea1e28bc413d

CVSROOT/loginfo

index 0c77b847fcc3709b622a4d67c767bb23692a8f99..94f2f6d8187ceb584a7a2e7c0237b81b34765249 100644 (file)
 # name and listing the modified file names.
 #
 # For example:
+#
 DEFAULT                (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/default.html > /tmp/Tdefault; mv /tmp/Tdefault $CVSROOT/LOG/default.html
+#
+# The various DEAL libraries
+#
 ^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
+#
 ^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
+#
 ^tests.*               (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/tests.html > /tmp/Ttests; mv /tmp/Ttests $CVSROOT/LOG/tests.html
+#
 ^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
+#
 ^deal.*                (echo $USER %s; date; cat) | /home/people/cvs/script/log.pl | cat - $CVSROOT/LOG/deal.html > /tmp/Tdeal; mv /tmp/Tdeal $CVSROOT/LOG/deal.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.