]> gitweb.factorcode.org Git - factor.git/commit
units.imperial: Add area units, choose fingerbreadth, fix encoding
authorGiftpflanze <gifti@tools.wmflabs.org>
Fri, 8 Sep 2023 18:01:15 +0000 (20:01 +0200)
committerGiftpflanze <gifti@tools.wmflabs.org>
Fri, 8 Sep 2023 18:01:27 +0000 (20:01 +0200)
commit0478b1cefa89ff183c8783b5c2d78650726bd227
tree3d5a4fb6616324f6e80e7f7acb664edbca7e876b
parent45b3723b985a305d4f2266a07c1f1f4d56f04095
units.imperial: Add area units, choose fingerbreadth, fix encoding
extra/units/imperial/imperial-tests.factor
extra/units/imperial/imperial.factor