diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-07-09 13:51:46 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-07-09 13:51:46 +0200 |
| commit | 65dd71b8035f8cf6e3b3ea1fa7cff838c21d43d2 (patch) | |
| tree | bf80f37f2c4c16577b5ac1545c388fe3bd2e93f2 /doc/filetree.es.txt | |
| parent | a58595a2510d05630d9282f915759ad272122ee8 (diff) | |
#847: Correcting errata when obtaining revision date (commit SHA1 is not verified); updating change log.
Diffstat (limited to 'doc/filetree.es.txt')
0 files changed, 0 insertions, 0 deletions