diff options
author | 2013-02-14 13:22:56 -0400 | |
---|---|---|
committer | 2013-02-14 13:22:56 -0400 | |
commit | 4e2d50d2e4c9b4d3487c24042b733d02c2f4dd46 (patch) | |
tree | f9325c494358e71b476ba7e56b6f5068af1f9be3 /Types/GitConfig.hs | |
parent | f7130bdb787b96c6f092f8aaf753c585ddd46cd5 (diff) |
remove unused item
This moved to annexDirect in GitConfig.
Diffstat (limited to 'Types/GitConfig.hs')
0 files changed, 0 insertions, 0 deletions