diff options
author | 2012-10-25 03:29:20 +0000 | |
---|---|---|
committer | 2012-10-25 03:29:20 +0000 | |
commit | 6ea651b4455f78461f3f2740e26e3936c8d43a92 (patch) | |
tree | 6111d97e27ac315545b2d32afb008435c1c7eaf4 /Build/Configure.hs | |
parent | 5c84739e291369ad5f489fb3120658af93ae4a42 (diff) |
Added a comment: it's a git repository...
Diffstat (limited to 'Build/Configure.hs')
0 files changed, 0 insertions, 0 deletions