minor fix

This commit is contained in:
o-da 2023-10-15 16:37:27 +02:00
parent ebed54f222
commit 43e48574b3

View File

@ -1,3 +1,4 @@
personal_ws-1.1 en 0 utf-8
adjoint adjoint
antisymmetric antisymmetric
applicative applicative
@ -108,7 +109,6 @@ nullary
paraconsistent paraconsistent
parametrize parametrize
parametrized parametrized
personal_ws-1.1 en 0 utf-8
pointful pointful
pointwise pointwise
postcompose postcompose