diff options
Diffstat (limited to 'web/tools')
| -rw-r--r-- | web/tools | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/web/tools b/web/tools deleted file mode 100644 index 84444ed0eee..00000000000 --- a/web/tools +++ /dev/null @@ -1,10 +0,0 @@ -* Tools - - The SDK tools have now been built. - - If you are interested in contributing to the IDE effort, - please visit the <a href="http://www.monodevelop.com">Mono - Develop</a> web site. - - To help on the documentation effort, use the MonoDoc system to - contribute from your own computer. |