]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Improved handling of exceptions (paths removed)
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Wed, 7 Mar 2001 09:54:24 +0000 (09:54 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Wed, 7 Mar 2001 09:54:24 +0000 (09:54 +0000)
git-svn-id: https://svn.dealii.org/trunk@4135 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/normalize.pl

index 1ab5c82fae167cebd5adcc65c329410c758b5a61..27fb82a43467974c23d947f7129e1bb34ac85276 100644 (file)
@@ -27,7 +27,7 @@ s/Time tag:.*//g;
 
 # Exceptions
 
-s/line <\d+> of\s?//;
+s/line <\d+> of file <.*\//file </;
 
 # Make small exponentials zero
 

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.