ugly image cut test

hhu-adam · Dec 11, 2023 · 1ffbe65 · 1ffbe65
1 parent b0e1a64
commit 1ffbe65
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/Game/Levels/Predicate.lean b/Game/Levels/Predicate.lean
@@ -14,6 +14,8 @@ import Game.Levels.Predicate.L11_DrinkersParadox
 World "Predicate"
 Title "Quantus"
 
+Image "images/planet_logos_cut.png"
+
 Introduction "Auf Quantus erwartet Euch bereits ein großer Ansammlung von Formalosopheninnen.  Sie reden alle wild durcheinander und Ihr habt Probleme, Euch überhaupt Gehör zu verschaffen.  Robo produziert schließlich ein lautes Gong-Geräusch, das sie kurzzeitig zur Ruhe bringt.
 
 **Du**: Wir haben einen Brief für Eure Königin.  Könntet Ihr uns zu Eurer Königin führen?

diff --git a/images/planet_logos_cut.png b/images/planet_logos_cut.png