diff options
Diffstat (limited to 'docs/devGuideDB/antsupport.xml')
| -rw-r--r-- | docs/devGuideDB/antsupport.xml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/devGuideDB/antsupport.xml b/docs/devGuideDB/antsupport.xml index e2e289469..4ff2715d9 100644 --- a/docs/devGuideDB/antsupport.xml +++ b/docs/devGuideDB/antsupport.xml @@ -433,13 +433,6 @@ </para></entry> </row> <row> - <entry><para>showWeaveInfo - </para></entry> - <entry><para> - If true, print out messages about what is being woven where. - </para></entry> - </row> - <row> <entry><para>Xlintwarnings </para></entry> <entry><para> |