filters: remove_filter function fixed in manifold.js
[unfold.git] / README.manifold-tables
1 manifold-tables -A -o authority -f \* -a R -j CACHE