Changes
#1203 (Jun 13, 2024, 1:08:23 AM)
- Fix new warnings — Eike Stepper / githubweb
#1192 (May 29, 2024, 12:40:20 PM)
- Ignore sources of org.eclipse.egit.github.core — Eike Stepper / githubweb
#1143 (Dec 9, 2023, 5:30:50 AM)
- [Releng] Generate product group references in documentation — Eike Stepper / githubweb
#1131 (Nov 25, 2023, 7:12:46 AM)
- Uncomment ANT_HOME — Eike Stepper / githubweb
#1130 (Nov 25, 2023, 7:10:06 AM)
- Fix promoter classpath — Eike Stepper / githubweb