diff options
| author | David Ben Zakai <david.benzakai@gmail.com> | 2015-11-10 16:31:31 +0200 |
|---|---|---|
| committer | David Ben Zakai <david.benzakai@gmail.com> | 2015-11-10 16:31:42 +0200 |
| commit | d3d3e2e3aac13c3c6fbae0fcfeaa41ce5ee9144b (patch) | |
| tree | 23c4e033000f7afdea1700570c87775bcf6934a1 /.gitignore | |
| parent | 37ca7b22b5521d7797ffefcd1456b4eb31320460 (diff) | |
Adding proxy to update procedure
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions