vocabs.refresh: add a note about refesh-all after a fresh bootstrap
authorDoug Coleman <doug.coleman@gmail.com>
Sat, 17 Sep 2022 13:03:27 +0000 (09:03 -0400)
committerDoug Coleman <doug.coleman@gmail.com>
Sat, 17 Sep 2022 13:03:27 +0000 (09:03 -0400)
commitcead9c7849b94122470882d5882131f323c4604f
tree4e6d7e8fd1267d88f5f72706d96d7b58a4753543
parent0723a71931a23659b50b560907173984197b5650
vocabs.refresh: add a note about refesh-all after a fresh bootstrap
basis/vocabs/refresh/refresh-docs.factor