diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-02-23 19:17:58 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-23 19:17:58 +0000 |
commit | 8b65f4f2fb02a6035401bbd76976c200b8d92071 (patch) | |
tree | 758ae47d8c1b5e7ff6c372d2ff116d5f3c3c9b91 /setup.org | |
parent | 4c13e21c3238fd5eca7667a16fa529153eef6f89 (diff) | |
download | yannherklotz.com-8b65f4f2fb02a6035401bbd76976c200b8d92071.tar.gz yannherklotz.com-8b65f4f2fb02a6035401bbd76976c200b8d92071.zip |
Fix link for PLDI'22 news
Diffstat (limited to 'setup.org')
0 files changed, 0 insertions, 0 deletions