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)
commit675089ea544e3f28a2d3d876306f46a5e0ec845d
tree70347ea2aad685299c0fc46e8e66fa22230c9b19
parent9b001308930c3173c577885a651530bfb3de91f8
more https
ralf/projects/index.md
research/index.html
research/publications.html