diff options
author | Joey Hess <joey@kitenet.net> | 2011-02-28 16:09:17 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-02-28 16:10:09 -0400 |
commit | 7e5678bcf7cd78bd04520117201be37dc9d4d544 (patch) | |
tree | 657c46f8c0d4613987f0c9d7963f4dda37151242 /git-annex-shell.hs | |
parent | 1bf6ed740e2f9fce319ec822585a60a114029b3d (diff) |
add ShellParam type, for type-checked shell params
Diffstat (limited to 'git-annex-shell.hs')
0 files changed, 0 insertions, 0 deletions