commit | 9dbbfa2f7d38d37dfa9ba067c22d84aa5bedb6ec | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Tue Jan 29 15:51:43 2013 +0100 |
committer | Dani Megert <dmegert> | Tue Jan 29 15:51:43 2013 +0100 |
tree | fa9729e353cec0d914bdb800641c4b5435ac1934 | |
parent | e775f37ffdd45a30062233ba3bde2bd8c413bbd4 [diff] |
Fixed bug 399291: JME in Javadoc hover in compare editor (old Git version)