projects / mono.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge pull request #2827 from xmcclure/profile-clean-0.1
[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