diff options
Diffstat (limited to 'docs/devGuideDB/antsupport.xml')
| -rw-r--r-- | docs/devGuideDB/antsupport.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/devGuideDB/antsupport.xml b/docs/devGuideDB/antsupport.xml index 4ff2715d9..e2e289469 100644 --- a/docs/devGuideDB/antsupport.xml +++ b/docs/devGuideDB/antsupport.xml @@ -433,6 +433,13 @@ </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> |