From: deal Date: Wed, 17 Apr 2002 11:19:04 +0000 (+0000) Subject: Rename report.pl to report-regression-tests.pl since this is what it does. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9abaf0e97e99b840387986e8e77a28b45ba1154a;p=dealii-svn.git Rename report.pl to report-regression-tests.pl since this is what it does. git-svn-id: https://svn.dealii.org/trunk@5673 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/report.pl b/deal.II/common/scripts/report-regression-tests.pl similarity index 100% rename from deal.II/common/scripts/report.pl rename to deal.II/common/scripts/report-regression-tests.pl