From 6a66fc5d71747c1009590e68887a9bbd6f44e598 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 10 Jun 2005 20:04:00 +0000
Subject: gfe as preprocessing to compiler

---
 src/GF/Infra/Option.hs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/GF/Infra')

diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index 4962a9f20..4e6e66b02 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/06/03 21:51:59 $ 
+-- > CVS $Date: 2005/06/10 21:04:01 $ 
 -- > CVS $Author: aarne $
--- > CVS $Revision: 1.29 $
+-- > CVS $Revision: 1.30 $
 --
 -- Options and flags used in GF shell commands and files.
 --
@@ -245,6 +245,8 @@ showAll      = iOpt "all"
 showMulti    = iOpt "multi"
 fromSource   = iOpt "src"
 makeConcrete = iOpt "examples"
+fromExamples = iOpt "ex"
+openEditor = iOpt "edit"
 
 -- ** mainly for stand-alone
 
-- 
cgit v1.2.3