diff options
author | 2016-02-19 15:16:52 -0400 | |
---|---|---|
committer | 2016-02-19 15:16:52 -0400 | |
commit | ac44d32ce0d67b2eb7f1e5ae814affa8399a682d (patch) | |
tree | ffaaf7293f1b84f401178e7bc50e60f19147e374 /Common.hs | |
parent | 3a1e7bbc58363b8b9ef223a3fdc0f87db8b020f5 (diff) |
info: Mention when run in a dead repository.
Diffstat (limited to 'Common.hs')
0 files changed, 0 insertions, 0 deletions