aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-08-30 01:46:43 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-08-30 01:46:43 +0200
commitdb8b6a43fec8d052b853f272e016079d0a9f91b6 (patch)
treee6cb62da7f9308980d0b7300eaa56d5e7c0ecbba /GNUmakefile
parentfc00890dd8557706a97de4d2eee05dc2c76cafa7 (diff)
Change to https to avoid messages about leaving secured grounds
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint