better section title
authorRalf Jung <post@ralfj.de>
Fri, 6 Dec 2019 10:45:55 +0000 (11:45 +0100)
committerRalf Jung <post@ralfj.de>
Fri, 6 Dec 2019 10:45:55 +0000 (11:45 +0100)
commit8d01176e4d91a4ebd76444b47f510302e11ef3bd
treecd2c6a0069c9a56d60dabeae454a38075b9e26fc
parent1ad21d708ae3b085f32c881982639ba02b514581
better section title
research/publications.html