diff options
author | Ramón M. Gómez <ramongomez@us.es> | 2019-01-16 13:31:44 +0100 |
---|---|---|
committer | Ramón M. Gómez <ramongomez@us.es> | 2019-01-16 13:31:44 +0100 |
commit | c616aa6bd4b0292d542d80b88e63cf0ef7b855a8 (patch) | |
tree | b7bd7ef9042a00b5f810bc5be226434c67438486 /doc/filetree.es.txt | |
parent | 42c7e5f1065a6f7eb2cdb745028986ca0d1f6d60 (diff) |
Update list of closed tickets.
Diffstat (limited to 'doc/filetree.es.txt')
0 files changed, 0 insertions, 0 deletions