]> gitweb.factorcode.org Git - factor.git/commitdiff
vocabs.refresh: skip private vocabs.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 11 Aug 2012 02:33:18 +0000 (19:33 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 11 Aug 2012 02:33:18 +0000 (19:33 -0700)
basis/vocabs/refresh/refresh.factor

index bff3781e5a9273ebfcb9e661cde4e5048e6fe2a8..9626ce730c5eb72fe50623c3292c0145a3d2b38a 100644 (file)
@@ -54,7 +54,7 @@ SYMBOL: modified-docs
         V{ } clone modified-sources set
         V{ } clone modified-docs set
 
-        child-vocabs [
+        child-vocabs [ ".private" tail? not ] filter [
             [
                 [
                     [ modified-sources ]