fritzkink
2023-12-25 92403c4d44b8479a50eb92bbf9311fa929ee3804
.. drwxr-xr-x
manifests drwxr-xr-x
patches drwxr-xr-x
Makefile 4 KB -rw-r--r--
clisp.copyright 22 KB -rw-r--r--
clisp.p5m 5 KB -rw-r--r--
pkg5 257 b -rw-r--r--