mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
1. Add features to assertion inspections 2. Remove redundant feature message from HTML descriptions 3. Display Java 1.3 and Java 1.4 version properly 4. Display several features when necessary GitOrigin-RevId: 133b46152ad8376a37aa4fd847bedf38d45f3135