tb -trees ; rl ; path in gfe ; removed spurious "file not found"

This commit is contained in:
aarne
2006-03-02 09:55:50 +00:00
parent c30936dc16
commit 35aac815db
12 changed files with 79 additions and 24 deletions

View File

@@ -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