projects / mono.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge pull request #5299 from cherusker/cherusker-2017-08-01-next-generic-inst-id
[mono.git] / tools / .gitignore
1 /Makefile.in
2 /Makefile
my mono mirror. check out Moved to http://github.com/mono/mono