From 35aac815db52ecdb6fd12e61139d3a74545cac6d Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 2 Mar 2006 09:55:50 +0000 Subject: tb -trees ; rl ; path in gfe ; removed spurious "file not found" --- src/GF/Infra/Option.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/Infra/Option.hs') diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 81ddd44af..0d0e7ad35 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -256,7 +256,8 @@ showMulti = iOpt "multi" fromSource = iOpt "src" makeConcrete = iOpt "examples" fromExamples = iOpt "ex" -openEditor = iOpt "edit" +openEditor = iOpt "edit" +getTrees = iOpt "trees" -- ** mainly for stand-alone -- cgit v1.2.3