Typo ffel* -> ffvel*

avekens · Dec 21, 2024 · b16612a · b16612a
1 parent 1ccd70e
commit b16612a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -93,10 +93,10 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
-17-Dec-24 ffelrnd   ffelcdmd
-17-Dec-24 ffelrnda  ffelcdmda
-17-Dec-24 ffelrni   ffelcdmi
-17-Dec-24 ffelrn    ffelcdm
+17-Dec-24 ffvelrnd  ffvelcdmd
+17-Dec-24 ffvelrnda ffvelcdmda
+17-Dec-24 ffvelrni  ffvelcdmi
+17-Dec-24 ffvelrn   ffvelcdm
 13-Dec-24 fvmptopab [same]      revised - eliminated hypothesis
                                 and deduction form antecedent
 13-Dec-24 wksonproplem [same]   revised - eliminated hypothesis