diff options
author | Joey Hess <joey@kitenet.net> | 2012-09-25 16:48:24 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-09-25 16:48:24 -0400 |
commit | 51d5e6b4c716847dc544fa2d56bbe4567f1bfaf4 (patch) | |
tree | a13a562265b76a756c1d18b66cc0a194902a0dfb /Usage.hs | |
parent | 067974202e285bc8d0840c2c64e9b84fc52c7c21 (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.hs | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -77,6 +77,8 @@ paramType :: String paramType = "TYPE" paramDate :: String paramDate = "DATE" +paramTime :: String +paramTime = "TIME" paramFormat :: String paramFormat = "FORMAT" paramFile :: String |