]> gitweb.factorcode.org Git - factor.git/commit
gap-buffer: some cleanup.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 5 Aug 2019 20:15:48 +0000 (13:15 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 5 Aug 2019 20:15:48 +0000 (13:15 -0700)
commit1cba71663778b13857f7a2ba893ad40e2c1aaebc
tree5cba7916c1314a1c00354adf59472a070fc01d96
parentad24fa414fa0a6b0d8f651717139fae0f534cce2
gap-buffer: some cleanup.
extra/gap-buffer/gap-buffer.factor