commit | 7a64b355c1ee12cb78e3afba4b0c0577a1a266c5 | [log] [tgz] |
---|---|---|
author | Fred Drake <fdrake@acm.org> | Tue Apr 13 22:19:21 1999 +0000 |
committer | Fred Drake <fdrake@acm.org> | Tue Apr 13 22:19:21 1999 +0000 |
tree | fd915beed227314c352440dde782892721a25ad0 | |
parent | 9444df084446d3d07857c49d546612bc0813ab7d [diff] |
For now, comment out the \ignorePlatformAnnotation; the global index doesn't really work with this.