diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2022-02-10 20:24:41 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2022-02-10 20:24:41 +0100 |
| commit | 677fc7e3830f2ad19b556f9c851113a55c050e11 (patch) | |
| tree | 604b5937380ea8f2b40551fc404fde0d573fb013 /buildSrc | |
| parent | Merge pull request #18 from kris7t/releng-docs (diff) | |
| download | refinery-677fc7e3830f2ad19b556f9c851113a55c050e11.tar.gz refinery-677fc7e3830f2ad19b556f9c851113a55c050e11.tar.zst refinery-677fc7e3830f2ad19b556f9c851113a55c050e11.zip | |
docs: Add note about proxy settings
Diffstat (limited to 'buildSrc')
0 files changed, 0 insertions, 0 deletions