]> gitweb.factorcode.org Git - factor.git/commit
vocabs: when forgetting vocab foo, also forget foo.private.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 15 Mar 2021 19:37:09 +0000 (12:37 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 15 Mar 2021 19:37:09 +0000 (12:37 -0700)
commita05af00eb060dc008bce54dec9171f412387c4f3
tree0195cb70e9ff45aa07ff435b744efe7dd64b2ef9
parent351688063b4dc306a45bf2da894c1a4242edf7dc
vocabs: when forgetting vocab foo, also forget foo.private.
core/vocabs/vocabs.factor