diff options
author | Jo Shields <joshield@microsoft.com> | 2019-03-27 22:45:06 +0300 |
---|---|---|
committer | Jo Shields <joshield@microsoft.com> | 2019-03-27 22:45:06 +0300 |
commit | 38fdb39cacf4542243d77f1adb68402c5358c262 (patch) | |
tree | 749f060782cf2e9ae9a16bc87c36842388c156e8 /tools/.gitignore | |
parent | 77cf4cc4f881a96cf4dda2837644e51c33566def (diff) |
Delete monograph. Closes https://github.com/mono/mono/issues/7845
Diffstat (limited to 'tools/.gitignore')
0 files changed, 0 insertions, 0 deletions