diff options
author | Benoit Marty <benoit.marty@gmail.com> | 2018-06-26 10:39:54 +0200 |
---|---|---|
committer | Hubert Chathi <hubert@uhoreg.ca> | 2018-06-27 14:00:20 -0400 |
commit | 6f2145337ba112fa6784c49f8002e2927a559a88 (patch) | |
tree | 8462d29093ca2c8e99c22798f292b5760cdcc70b /.gitignore | |
parent | 44c5923522844343d4cb0c029fc548ba76dad95d (diff) |
Comment out proxy settings
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions