projects / mono.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge pull request #5714 from alexischr/update_bockbuild
[mono.git] / docs / mono-tools.source
1 <?xml version="1.0"?>
2 <monodoc>
3   <source provider="man" basefile="mono-tools" path="man"/>
4 </monodoc>
my mono mirror. check out Moved to http://github.com/mono/mono