chiark / gitweb /
dpkg: Update from 1.18.18 to 1.18.20
[termux-packages] / packages / glulxe /
drwxr-xr-x   ..
-rw-r--r-- 940 build.sh
-rw-r--r-- 2052 glkterm.patch.special
-rw-r--r-- 706 makefile.patch