This Day In History For 2025-12-17
5 Years Ago (more context)
|
2020-12-17
| ||
| 20:31 | [lo] code cleaning & clarification check-in: 130814503c user: olr tags: trunk, lo | |
| 17:46 | [lo] text formatter: editor update check-in: b2ccc36215 user: olr tags: trunk, lo | |
| 12:07 | [fr] ajustements check-in: 7fd25a8e4a user: olr tags: trunk, fr | |