From 95ab256211a917ae40f552e6bb8bb823c0a85f51 Mon Sep 17 00:00:00 2001 From: guido Date: Mon, 28 May 2001 11:28:04 +0000 Subject: [PATCH] delete even smaller values git-svn-id: https://svn.dealii.org/trunk@4735 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/normalize.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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