diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-12-10 14:13:33 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-12-10 14:13:33 +0100 |
| commit | ce9c9822beb97a174803f2eae2fa62424c89616b (patch) | |
| tree | 5434c9cad3287d83c3fcd50e305ab2577be94f2e /doc/README.en.txt | |
| parent | bb474498037360194d2a9a997b50a648fbbd01b7 (diff) | |
#914: Update list of closed tickets.
Diffstat (limited to 'doc/README.en.txt')
0 files changed, 0 insertions, 0 deletions