]> gitweb.factorcode.org Git - factor.git/commit
io.files.windows: drain/refill need destructors
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 21 May 2023 02:06:32 +0000 (19:06 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 21 May 2023 02:06:52 +0000 (19:06 -0700)
commit2fad2f718a793d9d44b837d41c9648df359ca264
treec960e8484a24bf27e330f6a52476f97eab86cf8a
parent054ec3ba2ef7307257cf6190db3107f3eae67e90
io.files.windows: drain/refill need destructors
basis/io/files/windows/windows.factor