]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
In line with the usual unix philosophy, do not generate any output if
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 26 May 2005 15:13:58 +0000 (15:13 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 26 May 2005 15:13:58 +0000 (15:13 +0000)
everything is fine.

git-svn-id: https://svn.dealii.org/trunk@10760 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/validate-xrefs.pl

index c201112bedc7a7d296ac88cb30138c2fa07715fd..5a361e7b57c1d6630a1e86281d70f3c06531f014 100644 (file)
@@ -124,4 +124,3 @@ foreach $filename (@ARGV)
    }
 }
 
-print "---- All local links found to be ok.\n";

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.