commit | 00393708eaf6f41f53c1544bd7a19354c18eed42 | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Tue Sep 09 13:31:26 2008 +0000 |
committer | Dani Megert <dmegert> | Tue Sep 09 13:31:26 2008 +0000 |
tree | cc7745f1a91c6d473fe2035efac57eb7da8ff7a3 | |
parent | 92e0bb107ad1eb66f065294d702cfa309743ea65 [diff] |
Fixed bug 246707: Wrong capitalization of an interface name in the JDT Plug-in Developer Guide