Verified Commit 49df551c authored Oct 30, 2025 by Robin Candau

vienna2025: Add missing notes url in Jekylls headers

parent 0d55af9b

_events/vienna2025/agenda/d1-buildsandboxing.md

+1 −1

Original line number	Diff line number	Diff line
		@@ -3,7 +3,7 @@ layout: event_detail
		title: Collaborative Working Sessions - Success stories
		event: vienna2025
		order: 214
		permalink: /events/vienna2025/agenda/
		permalink: /events/vienna2025/agenda/d1-buildsandboxing/
		---

		Build sandboxing

_events/vienna2025/agenda/d1-distributedverification.md

+1 −1

Original line number	Diff line number	Diff line
		@@ -3,7 +3,7 @@ layout: event_detail
		title: Collaborative Working Sessions - Success stories
		event: vienna2025
		order: 214
		permalink: /events/vienna2025/agenda/
		permalink: /events/vienna2025/agenda/d1-distributedverification/
		---

		Distributed verification

_events/vienna2025/agenda/d1-languageecosystems.md

+1 −1

Original line number	Diff line number	Diff line
		@@ -3,7 +3,7 @@ layout: event_detail
		title: Collaborative Working Sessions - Success stories
		event: vienna2025
		order: 214
		permalink: /events/vienna2025/agenda/
		permalink: /events/vienna2025/agenda/d1-languageecosystems/
		---

		Markdowning by: Timo

_events/vienna2025/agenda/d1-localreproducibility.md

+1 −1

Original line number	Diff line number	Diff line
		@@ -3,7 +3,7 @@ layout: event_detail
		title: Collaborative Working Sessions - Success stories
		event: vienna2025
		order: 214
		permalink: /events/vienna2025/agenda/
		permalink: /events/vienna2025/agenda/d1-localreproducibility/
		---

		Local reproducibility and user perception

_events/vienna2025/agenda/d1-lowlevelverification.md

+1 −1

Original line number	Diff line number	Diff line
		@@ -3,7 +3,7 @@ layout: event_detail
		title: Collaborative Working Sessions - Success stories
		event: vienna2025
		order: 214
		permalink: /events/vienna2025/agenda/
		permalink: /events/vienna2025/agenda/d1-lowlevelverification/
		---

		Low-level verification