Maarten Billemont 83fa6c39bc Site toolbar buttons should toggle on site, not result.		2021-02-08 14:21:52 -05:00
..
algorithm	Update SpotBugs.	2021-02-08 14:20:29 -05:00
gui	Site toolbar buttons should toggle on site, not result.	2021-02-08 14:21:52 -05:00
model	Update SpotBugs.	2021-02-08 14:20:29 -05:00
tests	Update SpotBugs.	2021-02-08 14:20:29 -05:00