summaryrefslogtreecommitdiff
path: root/src/GF/Shell
diff options
context:
space:
mode:
authorpeb <unknown>2005-02-03 14:13:35 +0000
committerpeb <unknown>2005-02-03 14:13:35 +0000
commit4a5a48157fc85f7bb4deaf446140b1178a666f24 (patch)
tree077a81d46fa364559e6b6c1531057aff9b9517fa /src/GF/Shell
parenta7b25a9ca45c7ab7e4c64823698541122a0c865d (diff)
"Committed_by_peb"
Diffstat (limited to 'src/GF/Shell')
-rw-r--r--src/GF/Shell/CommandL.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Shell/CommandL.hs b/src/GF/Shell/CommandL.hs
index 93214781e..a01e9cf08 100644
--- a/src/GF/Shell/CommandL.hs
+++ b/src/GF/Shell/CommandL.hs
@@ -75,7 +75,7 @@ pCommand = pCommandWords . words where
pCommandWords s = case s of
"n" : cat : _ -> CNewCat cat
"t" : ws -> CNewTree $ unwords ws
- "g" : ws -> CRefineWithTree $ unwords ws -- *g*ive
+ "g" : ws -> CRefineWithTree $ unwords ws -- example: *g*ive
"p" : ws -> CRefineParse $ unwords ws
"rc": i : _ -> CRefineWithClip (readIntArg i)
">" : i : _ -> CAhead $ readIntArg i