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)
commit283ce4a9c55dc93169c4b8e7ae0bdd01234af959
treed76b4445f2ddea476b411f5c28ca968b33d1c170
parent8ed857c95b62379873a4c0dc92b5999386834030
more https
personal/projects/index.md
research/index.html
research/publications.html