diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-06-07 14:08:58 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-06-07 14:08:58 +0200 |
| commit | aa9c5f26c9568ad01b72f85ef038232785e0d6fb (patch) | |
| tree | de3134f6d9805bd25562479fdb1f1a022ffd069e /installer | |
| parent | 72d19dab151b88cb9fefc579b5db94412a599685 (diff) | |
#914: Updating README.md and .gitignore files.
Diffstat (limited to 'installer')
0 files changed, 0 insertions, 0 deletions