From 93b0c2d038540dd1f3088609ecb0aea6d09a392c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 17:09:16 +0000 Subject: [PATCH] configuration.ml moved to configuration.ml.in to use autoconf --- helm/interface/{configuration.ml => configuration.ml.in} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename helm/interface/{configuration.ml => configuration.ml.in} (97%) diff --git a/helm/interface/configuration.ml b/helm/interface/configuration.ml.in similarity index 97% rename from helm/interface/configuration.ml rename to helm/interface/configuration.ml.in index 9a36cb37d..add4c3a88 100644 --- a/helm/interface/configuration.ml +++ b/helm/interface/configuration.ml.in @@ -3,7 +3,7 @@ (* PROJECT HELM *) (* *) (* Claudio Sacerdoti Coen *) -(* 06/05/2000 *) +(* 28/12/2000 *) (* *) (* This is the parser that reads the configuration file of helm *) (* *) -- 2.39.2