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 /python/docs/make.bat | |
| parent | 44c5923522844343d4cb0c029fc548ba76dad95d (diff) | |
Comment out proxy settings
Diffstat (limited to 'python/docs/make.bat')
0 files changed, 0 insertions, 0 deletions