projects / mono.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
Merge pull request #5299 from cherusker/cherusker-2017-08-01-next-generic-inst-id
[mono.git] / data / net_1_1 /
drwxr-xr-x   ..
-rw-r--r-- 23 .gitignore blob | history | raw
-rw-r--r-- 58196 DefaultWsdlHelpGenerator.aspx blob | history | raw
-rw-r--r-- 56413 DefaultWsdlHelpGenerator.jvm.aspx blob | history | raw
-rw-r--r-- 169 Makefile.am blob | history | raw
-rw-r--r-- 18003 machine.config blob | history | raw
my mono mirror. check out Moved to http://github.com/mono/mono