Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJo Shields <joshield@microsoft.com>2019-03-27 22:45:06 +0300
committerJo Shields <joshield@microsoft.com>2019-03-27 22:45:06 +0300
commit38fdb39cacf4542243d77f1adb68402c5358c262 (patch)
tree749f060782cf2e9ae9a16bc87c36842388c156e8 /tools/.gitignore
parent77cf4cc4f881a96cf4dda2837644e51c33566def (diff)
Delete monograph. Closes https://github.com/mono/mono/issues/7845
Diffstat (limited to 'tools/.gitignore')
0 files changed, 0 insertions, 0 deletions