search

ec24-tips / ec24-tips.github.io

Local tips for Eurocrypt 2024
https://ec24-tips.github.io/
0 stars 4 forks source link

Some more features #1

Closed fxguenther closed 5 months ago

fxguenther commented 5 months ago

Some eurocrypt links, food places, viewpoints.

defeo commented 5 months ago

Could you push another small commit, to check if CI works now? Or even just change the sha of the HEAD by doing commit --amend and then force pushing.