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] / docs / mono-file-formats.source
1 <?xml version="1.0"?>
2 <monodoc>
3   <source provider="man" basefile="mono-file-formats" path="man"/>
4 </monodoc>
my mono mirror. check out Moved to http://github.com/mono/mono