psis -> psi.d

[m6w6/ext-psi] / psis / stdlib.psi

diff --git a/psis/stdlib.psi b/psis/stdlib.psi
deleted file mode 100644 (file)
index 6044d41..0000000
--- a/psis/stdlib.psi
+++ /dev/null
@@ -1,2 +0,0 @@
-
-extern void free(void *ptr);