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

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Jorgensen <ajorgensen@novell.com>2009-11-10 22:50:28 +0300
committerAndrew Jorgensen <ajorgensen@novell.com>2009-11-10 22:50:28 +0300
commit0f0654ba9591a7459540deb6d9ff8e37c7131ee7 (patch)
tree6fbddf930161d07789eaf649464cd0baac46b026 /docs/mono-tools.config
parentcd1eb56a24e3a6121577c44b497fd0cf3008b642 (diff)
remove oldmono man page
svn path=/trunk/mono/; revision=145867
Diffstat (limited to 'docs/mono-tools.config')
-rw-r--r--docs/mono-tools.config1
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/mono-tools.config b/docs/mono-tools.config
index a5d8863748e..654f73bedb1 100644
--- a/docs/mono-tools.config
+++ b/docs/mono-tools.config
@@ -37,7 +37,6 @@
<manpage name="monostyle(1)" page="../man/monostyle.1" />
<manpage name="mono-xmltool(1)" page="../man/mono-xmltool.1" />
<manpage name="mozroots(1)" page="../man/mozroots.1" />
- <manpage name="oldmono(1)" page="../man/oldmono.1" />
<manpage name="permview(1)" page="../man/permview.1" />
<manpage name="prj2make(1)" page="../man/prj2make.1" />
<manpage name="resgen(1)" page="../man/resgen.1" />