| File | Date | Author | Commit |
|---|---|---|---|
| extras | 2017-02-20 | david_costanzo | [r4286] Minor tweaks to Boink: |
| logo | 2019-04-27 | david_costanzo | [r4898] Remove spurious line breaks in <userinput> tags |
| www | 2019-04-13 | david_costanzo | [r4819] Add a link to the Spanish manual so that web cr... |