more https
authorRalf Jung <post@ralfj.de>
Tue, 7 Aug 2018 09:10:10 +0000 (11:10 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 7 Aug 2018 09:10:10 +0000 (11:10 +0200)
commit04fb252e44356ce32328819b1a42df753b095190
tree1340ce635fdc82adc93d03c9f87d37ea84c40f3a
parent3232c1850a731bfc430d26699493b7468befe242
more https
personal/projects/index.md
research/index.html
research/publications.html