]> source.dussan.org Git - aspectj.git/commit
Fixed bug#71811 "AJDoc: should be able to set encoding like javadoc"
authormkersten <mkersten>
Fri, 20 Aug 2004 01:01:45 +0000 (01:01 +0000)
committermkersten <mkersten>
Fri, 20 Aug 2004 01:01:45 +0000 (01:01 +0000)
commit5f80c8cd8de6ab532fbe3e267cca45b749331d98
treefd8cb432ad5a51d5f4ad094c9ac87230ecdb2722
parentf332d7526f0b570607a7759777738a5c15a39e07
Fixed bug#71811 "AJDoc: should be able to set encoding like javadoc"
ajdoc/src/org/aspectj/tools/ajdoc/Main.java
ajdoc/testsrc/org/aspectj/tools/ajdoc/CoverageTestCase.java