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-Tag: v8.0.0~18175 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c92d2c8be9b85cbc65b1f7cf130731342046212e;p=dealii.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