Changes
#267 (Jan 5, 2024, 2:12:28 AM)
- [3] Reduce Guava usage — Pierre-Charles David / githubweb
#266 (Dec 14, 2023, 2:12:18 AM)
- [5] Move to EPL 2.0 — Pierre-Charles David / githubweb
- [7] Do not display 'External' decorator on edges — Pierre-Charles David / githubweb
- [cleanup] Fix most compilation warnings — Pierre-Charles David / githubweb
#265 (Sep 17, 2023, 2:12:19 AM)
- [cleanup] Delete empty service classes — Pierre-Charles David / githubweb
#264 (Sep 16, 2023, 2:12:27 AM)
- [releng] Bump version to 3.5.1 — Pierre-Charles David / githubweb
- [releng] Fix/update 2023-09 — Pierre-Charles David / githubweb
#263 (Aug 29, 2023, 8:30:49 AM)
- [releng] Add target platforms for 2023-06 and 2023-09 — Pierre-Charles David / githubweb