Gmelli
Text replacement - "__NOTOC__ " to "__NOTOC__ "
02:32
−1
Text replacement - ". ---- " to ". ---- "
02:38
+1
Text replacement - "---- ---- [[Category" to "---- ---- __NOTOC__ [[Category"
01:15
+12
Text replacement - "** ..." to "** …"
20:29
Text replacement - "]]. * <B>Counter-Example" to "]]. ** ... * <B>Counter-Example"
02:58
+7
no edit summary
10:20
+516