steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

vocabs.refresh: skip private vocabs.

db4
John Benediktsson 2012-08-10 19:33:18 -07:00
parent 2b45ba9a4f
commit fd94838032
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/vocabs/refresh/refresh.factor
View File

@ -54,7 +54,7 @@ SYMBOL: modified-docs
V{ } clone modified-sources set V{ } clone modified-sources set
V{ } clone modified-docs set V{ } clone modified-docs set
child-vocabs [ child-vocabs [ ".private" tail? not ] filter [
[ [
[ [
[ modified-sources ] [ modified-sources ]