diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-11-24 11:36:10 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-11-24 11:36:41 +0100 |
commit | 4c8e5fa7b897253d23cda93cc747a5c5cda49b2a (patch) | |
tree | 2560c12cb602a6bcb01a7b84f4a93187612285b6 /site/cleopatra/theme.org | |
parent | Remove a redundant </head> tag in HTML template (diff) |
Announce the acceptance of our coqffi paper
Diffstat (limited to 'site/cleopatra/theme.org')
0 files changed, 0 insertions, 0 deletions