remove /f_f_i

This commit is contained in:
Rasmus Andersson 2023-04-23 14:30:55 -07:00
parent 58613e8f90
commit 78e9fe26b0
8 changed files with 9 additions and 1997 deletions

View file

@ -27,7 +27,5 @@ sub [
rlinebelow
] t' by t.1;
# sub f f i by f_f_i;
# /f/i -> /f.i/i
sub f' [f i] by f.i;