From 7a0b77fca976aedae747b64989ffc89d75fe0991 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 23 Sep 2006 15:44:14 +0000 Subject: [PATCH] added $(USER) so that the night bench can override it (and not put garbage in MY sql tables) --- helm/software/matita/matita.conf.xml.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in index 90aafb73d..f39b84c95 100644 --- a/helm/software/matita/matita.conf.xml.in +++ b/helm/software/matita/matita.conf.xml.in @@ -7,7 +7,7 @@ - + $(USER)
-- 2.39.2