87b8ba3 Remove first-letter shenanigans
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git
f1b2d11 Subdue the color and fix the CSS
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git
ea4ad46 Integrate everything into one makefile
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git
b25f796 Add dependencies into the yml file
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git
3bc6d07 Add new publication in FCCM'22
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git
8b65f4f Fix link for PLDI'22 news
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git
4c13e21 Add news about artefact evaluation for PLDI'22
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git
3951f6d Fix grammar in PEQ news section
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git
39dc502 Add some more links to news
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git
db72feb Update the build with new dependencies
~ymherklotz pushed to ~ymherklotz/yannherklotz.com git