From: wolf Date: Fri, 7 Feb 2003 00:23:53 +0000 (+0000) Subject: Fix name of file. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ab1819670dfaeb56cc2528e12157106462cb2290;p=dealii-svn.git Fix name of file. git-svn-id: https://svn.dealii.org/trunk@7067 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/tests/base/threads.pl b/tests/base/threads.pl index 051dcbb170..102a9c3da4 100644 --- a/tests/base/threads.pl +++ b/tests/base/threads.pl @@ -1,4 +1,4 @@ -#---------------------------- timer.cc --------------------------- +#---------------------------- threads.pl --------------------------- # $Id$ # Version: $Name$ # @@ -9,7 +9,7 @@ # to the file deal.II/doc/license.html for the text and # further information on this license. # -#---------------------------- timer.cc --------------------------- +#---------------------------- threads.pl --------------------------- # This is the script with which threads.cc is generated #