From: guido Date: Mon, 28 May 2001 11:28:04 +0000 (+0000) Subject: delete even smaller values X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=95ab256211a917ae40f552e6bb8bb823c0a85f51;p=dealii-svn.git delete even smaller values git-svn-id: https://svn.dealii.org/trunk@4735 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/normalize.pl b/deal.II/common/scripts/normalize.pl index f229720041..01c31a35ae 100644 --- a/deal.II/common/scripts/normalize.pl +++ b/deal.II/common/scripts/normalize.pl @@ -31,7 +31,7 @@ s/line <\d+> of file <.*\//file