diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-10-17 13:00:12 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-10-17 13:00:48 +0200 |
| commit | aafe8f98297e8a27d6a8231eba2b99e208eb7005 (patch) | |
| tree | 20be28653e964a680bdbd5f29854644e7c67b431 /doc/README.es.txt | |
| parent | 1f75d139cf157096eb5999be4e4355b7986f7f96 (diff) | |
#867: Integrating commit {{{ba1f95c}}}.
Diffstat (limited to 'doc/README.es.txt')
0 files changed, 0 insertions, 0 deletions