Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- events:ef2018:redis [2018-09-24 21:37] – angelegt bernd
+++ events:ef2018:redis [2018-09-24 21:37] (aktuell) – bernd
@@ Zeile 1: / Zeile 1: @@
 ====== Gerald Wodni — redis ======
-{{:events:ef2018:redis.mp4|1280x720}}
+{{:events:ef2018:redis.webm|1280x720}}