| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Get rid of Guava (#555) | 2025-08-21 | 1 | -1/+2 | |
| * | Fix double clicking an entry in the "implementations" window not navigating t... | 2023-06-24 | 1 | -6/+11 | |
| * | Add checkstyle (#460) | 2022-09-14 | 1 | -2/+7 | |
| * | Refactor and clean up Gui class | 2021-09-05 | 1 | -0/+86 |