| File | Date | Author | Commit |
|---|---|---|---|
| extras | 2017-02-20 | david_costanzo | [r4286] Minor tweaks to Boink: |
| logo | 2019-05-18 | david_costanzo | [r4923] Branch the 7.5.0 release to start work on Unicode. |
| www | 2019-04-28 | david_costanzo | [r4912] Remove the limit of 1024 on the number of turtles. |