From 4514b1912736b5b8674c846f38a98e06f66afc80 Mon Sep 17 00:00:00 2001 From: guido Date: Tue, 14 Sep 2004 17:03:06 +0000 Subject: [PATCH] nonsense removed git-svn-id: https://svn.dealii.org/trunk@9616 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/common/scripts/validate-xrefs.pl | 2 -- 1 file changed, 2 deletions(-) diff --git a/deal.II/common/scripts/validate-xrefs.pl b/deal.II/common/scripts/validate-xrefs.pl index b0111f0638..4c5c56f4bd 100644 --- a/deal.II/common/scripts/validate-xrefs.pl +++ b/deal.II/common/scripts/validate-xrefs.pl @@ -4,8 +4,6 @@ # # Author: Wolfgang Bangerth, Guido Kanschat 2000, 2004 -#TODO: Th - # set this to 1 if you want verbose output $debug = 0; -- 2.39.5