update

zliu41 · zliu41 · commit 2136a8d3207e · 2025-09-23T09:25:44.000-07:00
diff --git a/uplc2025/_talks/romain.md b/uplc2025/_talks/romain.md
@@ -2,7 +2,6 @@
 name: Smart Contract Verification
 speakers:
   - Romain Soulat
-  - Jean-Frederic Etienne
 categories:
   - Talk
   - Keynote
diff --git a/uplc2025/program/index.md b/uplc2025/program/index.md
@@ -1,5 +1,3 @@
 ---
 layout: program
 ---
-
-The tracks of the different talks as well as their coloring can be adapted in the `_config.yml` file under `conference.talks.tracks`. See also the [Talk Settings](https://github.com/DigitaleGesellschaft/jekyll-theme-conference/#talk-settings) section of the theme's README file.

-Original file line number
+Diff line change
@@ @@ -1,5 +1,3 @@ @@
 ---
 layout: program
 ---
+-
 -The tracks of the different talks as well as their coloring can be adapted in the `_config.yml` file under `conference.talks.tracks`. See also the [Talk Settings](https://github.com/DigitaleGesellschaft/jekyll-theme-conference/#talk-settings) section of the theme's README file.