From f9d39540d2bc8fdab30914666d77db4646a3bc42 Mon Sep 17 00:00:00 2001 From: Stefan Bodewig Date: Mon, 5 Mar 2001 13:07:15 +0000 Subject: [PATCH] Added information about the Jext-Plugin to the IDE-Integration section, renamed that section to Editor/IDE Integration at the same time. Removed stray CR in one document. git-svn-id: https://svn.apache.org/repos/asf/ant/core/trunk@268757 13f79535-47bb-0310-9956-ffa450edef68 --- docs/manual/Integration/VAJAntTool.html | 3 +- docs/manual/Integration/jext-plugin.html | 39 ++++++++++++++++++++++++ docs/manual/ide.html | 2 ++ docs/manual/toc.html | 2 +- 4 files changed, 43 insertions(+), 3 deletions(-) create mode 100644 docs/manual/Integration/jext-plugin.html diff --git a/docs/manual/Integration/VAJAntTool.html b/docs/manual/Integration/VAJAntTool.html index 622d00940..cd6a2753d 100644 --- a/docs/manual/Integration/VAJAntTool.html +++ b/docs/manual/Integration/VAJAntTool.html @@ -8,8 +8,7 @@

Visual Age for Java Tasks and Plugin User Manual

- by -