[Lunar-commits] <moonbase> camlp5: Removing tabs.
Dennis `stumbles` Veatch
stumbles at lunar-linux.org
Tue Dec 20 12:39:24 CET 2011
commit d6f48c9f45d88b0fc0fd7cbc868841f791f16866
Author: Dennis `stumbles` Veatch <stumbles at lunar-linux.org>
Date: Tue Dec 20 06:39:24 2011 -0500
camlp5: Removing tabs.
---
compilers/camlp5/CONFIGURE | 4 +---
1 files changed, 1 insertions(+), 3 deletions(-)
diff --git a/compilers/camlp5/CONFIGURE b/compilers/camlp5/CONFIGURE
index e3495a6..ad03958 100644
--- a/compilers/camlp5/CONFIGURE
+++ b/compilers/camlp5/CONFIGURE
@@ -1,3 +1 @@
-mquery STRICT "use strict instead of transitional mode(say n to use with COQ)" n \
- "--strict" \
- "--transitional"
+mquery STRICT "use strict instead of transitional mode(say n to use with COQ)" n "--strict" "--transitional"
More information about the Lunar-commits
mailing list