aboutsummaryrefslogtreecommitdiff
path: root/python/docs/make.bat
diff options
context:
space:
mode:
authorBenoit Marty <benoit.marty@gmail.com>2018-06-26 10:39:54 +0200
committerHubert Chathi <hubert@uhoreg.ca>2018-06-27 14:00:20 -0400
commit6f2145337ba112fa6784c49f8002e2927a559a88 (patch)
tree8462d29093ca2c8e99c22798f292b5760cdcc70b /python/docs/make.bat
parent44c5923522844343d4cb0c029fc548ba76dad95d (diff)
Comment out proxy settings
Diffstat (limited to 'python/docs/make.bat')
0 files changed, 0 insertions, 0 deletions