| File | Date | Author | Commit |
|---|---|---|---|
| extras | 2017-02-20 | david_costanzo | [r4286] Minor tweaks to Boink: |
| logo | 2017-05-24 | david_costanzo | [r4375] Fix a case problem in the color name "DarkOrange". |
| www | 2017-05-21 | david_costanzo | [r4370] Formally thank Francesco Simone Carta for updat... |