revert last commit

metamath · Nov 25, 2024 · a26da47 · a26da47
1 parent 78d4802
commit a26da47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/changes-set.txt b/changes-set.txt
@@ -93,7 +93,7 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
-25-Nov-24 syl5eq    eqtrid      Done after a month's work
+25-Nov-24 syl5eq    eqtrid
 18-Nov-24 csbcog    [same]      moved from RP's mathbox to main set.mm
 18-Nov-24 csbwrecsg [same]      moved from ML's mathbox to main set.mm
 18-Nov-24 csbpredg  [same]      moved from ML's mathbox to main set.mm