projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5189bc) | patch
ffi: Add delete-plugin-list and update-plugin-indices
authorMatt Birkholz <matt@birchwood-abbey.net>
Fri, 1 Jun 2018 21:32:57 +0000 (14:32 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Tue, 5 Jun 2018 07:43:40 +0000 (00:43 -0700)
commit26fc959a239158c630a2066c2ef2aefd1908a2d9
tree50edca0aa02d7bc229fcde6e8abafdc3ad698279tree | snapshot
parentb5189bc516aa02d29396e1f8b31da9bd437c3a69commit | diff
ffi: Add delete-plugin-list and update-plugin-indices

for the Debian install/uninstall scripts.
src/ffi/build.scm diff | blob | history
src/ffi/ffi.pkg diff | blob | history
src/runtime/ffi.scm diff | blob | history
MIT/GNU Scheme, Pucked