Public Git Hosting - mono-project.git/blob - docs/mono-tools.source

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD

[mono-project.git] / docs / mono-tools.source

blob	37f4b44ca445cd12f1987dd1c0158243bb9b0370

<?xml version="1.0"?>
<monodoc>
  <source provider="man" basefile="mono-tools" path="man"/>
</monodoc>

Mirror of the official Mono project git repository