# HG changeset patch # User Christian Urban # Date 1665703933 -3600 # Node ID 646f985b512e4f2c10d4d3a32716bf7afb7276e4 # Parent 00c1c3408c935ef2827ed7e491a6d72402d58b7b removed diff -r 00c1c3408c93 -r 646f985b512e pics/DFA.png Binary file pics/DFA.png has changed