]> gitweb.factorcode.org Git - factor.git/commit
vocabs.refresh: changing ``changed-vocabs`` to a hash-set.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Feb 2018 20:00:07 +0000 (12:00 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 25 Feb 2018 20:00:07 +0000 (12:00 -0800)
commit4788bfba4cb4119b905d5294564c603dbd880d6e
treedc9dbd15b55596bf5240894e9071b44053a66725
parent737abe0f9ad2c06fb8e49b3183fd6399cdab5266
vocabs.refresh: changing ``changed-vocabs`` to a hash-set.
basis/vocabs/refresh/monitor/monitor.factor
basis/vocabs/refresh/refresh.factor