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 /gradle/wrapper | |
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 'gradle/wrapper')
0 files changed, 0 insertions, 0 deletions