mono-tools.source « docs - github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.

Welcome to mirror list, hosted at ThFree Co, Russian Federation.

mono-tools.source « docs - github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.

index : github.com/mono/mono.git

Unnamed repository; edit this file 'description' to name the repository.

www-data

summary refs log tree commit diff

path: root/docs/mono-tools.source

blob: 37f4b44ca445cd12f1987dd1c0158243bb9b0370 (plain)

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