| commit | 62cc360e3811cae8647ae3c663a8605271c4a9dc | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Thu Mar 04 18:41:17 1999 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Thu Mar 04 18:41:17 1999 +0000 |
| tree | 827794614e9b0ac6c1afd2865d64c6dd0b25f687 | |
| parent | 35c3ffdc3f622719585532f291d8f2366be55235 [diff] |
add_module_idx(): If \ignorePlatformAnnotation is used, only ignore the specified annotation, not any annotation.