touch readme

NikolajBjorner · NikolajBjorner · commit 1a0aa64f9a91 · 2025-12-18T16:48:57.000-08:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/slides/README.md b/slides/README.md
@@ -1,3 +1,4 @@
+
 # Slides
 
 * [TU Wien 2022 lecture](https://z3prover.github.io/slides/tuv22.html)

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+`
`1`	`2`	`# Slides`
`2`	`3`
`3`	`4`	`* [TU Wien 2022 lecture](https://z3prover.github.io/slides/tuv22.html)`