From 1e3de38ac4e9d4eee8bb947fb16682490a1130c5 Mon Sep 17 00:00:00 2001 From: Meowyam Date: Tue, 6 Jul 2021 15:22:59 +0800 Subject: [PATCH] remove redundant options --- src/compiler/GF/Command/CommonCommands.hs | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/compiler/GF/Command/CommonCommands.hs b/src/compiler/GF/Command/CommonCommands.hs index 7ca2c0ee4..c685fc525 100644 --- a/src/compiler/GF/Command/CommonCommands.hs +++ b/src/compiler/GF/Command/CommonCommands.hs @@ -176,9 +176,6 @@ commonCommands = fmap (mapCommandExec liftSIO) $ Map.fromList [ flags = [ ("command","the system command applied to the argument") ], - options = [ - ("lines","preserve input lines, and return output as a list of lines") - ], examples = [ mkEx "gt | l | ? wc -- generate trees, linearize, and count words" ]