diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-06-13 08:10:25 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-06-13 08:10:25 +0200 |
| commit | a3a1ff21dde647ae1e3d8d9fc8552e039bcc3022 (patch) | |
| tree | 05de750007acd47a9f796b094ca802eaf60d8e7c /doc/INSTALL.es.txt | |
| parent | 30628fd3da8e48c19cdfefad8683215215462c47 (diff) | |
#840: Checking permissions and directories after Git downloads.
Diffstat (limited to 'doc/INSTALL.es.txt')
0 files changed, 0 insertions, 0 deletions