Conflict marker in ExtendGer removed

This commit is contained in:
Hans Leiss committed 2023-08-05 19:11:21 +02:00
1 parent b76b8af7b2
commit 1f728c31a0
1 file changed
-1
-1
View File
@@ -186,5 +186,4 @@ lin CompoundN a x =
g = x.g
} ;
>>>>>>> master
}