diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-06-05 12:36:47 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-06-05 12:36:47 +0200 |
| commit | 832e27bbe8a82ad46ba2d3ea9550728751e79b99 (patch) | |
| tree | e667e13b704229a3c811f1b8d5da8d39fac45884 /doc | |
| parent | 228dd16463fb5e095869246963808ff9b9a40de9 (diff) | |
#840: Adaptar valor de revisión según fecha y parte del commit de Git en instalador y actualizador; continuar sustituyendo URLs de Git.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions