summaryrefslogtreecommitdiff
path: root/GitRepo.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2011-02-28 16:09:17 -0400
committerGravatar Joey Hess <joey@kitenet.net>2011-02-28 16:10:09 -0400
commit7e5678bcf7cd78bd04520117201be37dc9d4d544 (patch)
tree657c46f8c0d4613987f0c9d7963f4dda37151242 /GitRepo.hs
parent1bf6ed740e2f9fce319ec822585a60a114029b3d (diff)
add ShellParam type, for type-checked shell params
Diffstat (limited to 'GitRepo.hs')
0 files changed, 0 insertions, 0 deletions