chore: clean up docs

Ralph-Zitz · Oct 8, 2023 · c2e9929 · c2e9929
1 parent 8e547f6
commit c2e9929
Show file tree

Hide file tree

Showing 26 changed files with 0 additions and 654 deletions.
diff --git a/doc/efun/abs.de b/doc/efun/abs.de
diff --git a/doc/efun/acos.de b/doc/efun/acos.de
diff --git a/doc/efun/all_inventory.de b/doc/efun/all_inventory.de
diff --git a/doc/efun/asin.de b/doc/efun/asin.de
diff --git a/doc/efun/atan.de b/doc/efun/atan.de
diff --git a/doc/efun/atan2.de b/doc/efun/atan2.de
diff --git a/doc/efun/clonep.de b/doc/efun/clonep.de
diff --git a/doc/efun/closurep.de b/doc/efun/closurep.de
diff --git a/doc/efun/cos.de b/doc/efun/cos.de
diff --git a/doc/efun/destruct.de b/doc/efun/destruct.de
diff --git a/doc/efun/explode.de b/doc/efun/explode.de
diff --git a/doc/efun/file_size.de b/doc/efun/file_size.de
diff --git a/doc/efun/floatp.de b/doc/efun/floatp.de
diff --git a/doc/efun/get_dir.de b/doc/efun/get_dir.de
diff --git a/doc/efun/implode.de b/doc/efun/implode.de
diff --git a/doc/efun/intp.de b/doc/efun/intp.de
diff --git a/doc/efun/mappingp.de b/doc/efun/mappingp.de