diff options
Diffstat (limited to 'data/news.toml')
-rw-r--r-- | data/news.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/news.toml b/data/news.toml index 1099a6e..3a26104 100644 --- a/data/news.toml +++ b/data/news.toml @@ -1,6 +1,6 @@ [[news]] date = 2021-08-31 -event = "<a href=\"/papers/fvhls_oopsla21.pdf\">Paper on Vericert</a> accepted at OOPSLA'21" +event = "<a href=\"/papers/fvhls_oopsla21.pdf\">Paper on Vericert</a> accepted at OOPSLA'21." [[news]] date = 2021-05-31 |