summaryrefslogtreecommitdiff
path: root/Usage.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-09-25 16:48:24 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-09-25 16:48:24 -0400
commit51d5e6b4c716847dc544fa2d56bbe4567f1bfaf4 (patch)
treea13a562265b76a756c1d18b66cc0a194902a0dfb /Usage.hs
parent067974202e285bc8d0840c2c64e9b84fc52c7c21 (diff)
New --time-limit option, makes long git-annex commands stop after a specified amount of time.
Diffstat (limited to 'Usage.hs')
-rw-r--r--Usage.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/Usage.hs b/Usage.hs
index e74c1490d..04024b165 100644
--- a/Usage.hs
+++ b/Usage.hs
@@ -77,6 +77,8 @@ paramType :: String
paramType = "TYPE"
paramDate :: String
paramDate = "DATE"
+paramTime :: String
+paramTime = "TIME"
paramFormat :: String
paramFormat = "FORMAT"
paramFile :: String