removed prt_ext

This commit is contained in:
ceriel 1989-02-23 10:08:20 +00:00
parent 19c225f75f
commit 6f4bdccf04

View file

@ -28,7 +28,6 @@ g/_add_ext/s//.add_ext/g
g/_div_ext/s//.div_ext/g
g/_mul_ext/s//.mul_ext/g
g/_nrm_ext/s//.nrm_ext/g
g/_prt_ext/s//.prt_ext/g
g/_sft_ext/s//.sft_ext/g
g/_sub_ext/s//.sub_ext/g
g/_zrf_ext/s//.zrf_ext/g