Verified Commit 4886ee08 authored by Robin Candau's avatar Robin Candau
Browse files

vienna2025: Fix notes filenames

parent 7b7cd546

_events/vienna2025/agenda/d2-distributedverification3.md

+1 −1
Original line number Diff line number Diff line
@@ -3,7 +3,7 @@ layout: event_detail 
title: Collaborative Working Sessions - Distributed verification III

event: vienna2025

order: 23

permalink: /events/vienna2025/agenda/d2-distributed-verification3/

permalink: /events/vienna2025/agenda/d2-distributedverification3/

---



# Evaluation criteria