4 check-ins using file make.py version 7341de7510
|
2018-07-07
| ||
| 16:00 | [fr] default options check-in: c11bedfccc user: olr tags: trunk, fr | |
| 13:26 | [server] GC options as parameters check-in: 944ec0bbde user: olr tags: trunk, server | |
| 12:39 | [server] don’t use locale ini file for grammar options check-in: 61ec0d2c15 user: olr tags: trunk, server | |
| 12:38 | [server] don’t use locale ini file for grammar options check-in: 88c61f02e9 user: olr tags: trunk, server | |