diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-05-16 11:43:48 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-05-16 11:43:48 +0200 |
| commit | 4f64fa1837ed2cdfcb3555948ffbbc45ad4db70b (patch) | |
| tree | a3bf381230763e791e0b65209fed18f41b24f439 /.gitignore | |
| parent | 97b8472e4a395a35ec0cc2d2dc1550fb9c378348 (diff) | |
#912: Fix bugs in update script: generating a new repository access token and uncompressing downloaded code; update closed tickets list.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions