diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-05-28 08:16:04 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-05-28 08:16:04 +0200 |
| commit | b1fa0237e6662289b0a77c99faf4cc92eaa2da4b (patch) | |
| tree | 224df0a35bbf19f5ccb9d140b3d9173a516c0088 /doc/INSTALL.en.txt | |
| parent | 884b6ce68e87a1693df1f150e4a4704d6aa833c2 (diff) | |
#840: Incluir directorios que faltaban en instalación; nueva info de instalación y adaptar algunos ficheros Vagrant para descargar desde Github.
Diffstat (limited to 'doc/INSTALL.en.txt')
0 files changed, 0 insertions, 0 deletions