]> gitweb.factorcode.org Git - factor.git/commit
Use `vocabs.prettyprint.private`
authorCapitalEx <CapitalEx@protonmail.com>
Wed, 14 Dec 2022 19:20:07 +0000 (14:20 -0500)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 15 Dec 2022 00:07:20 +0000 (16:07 -0800)
commit081612242951324c2317fea43b2e4be5b16be38b
tree871755b5c7db517d3abc03f146c5324b4911344a
parent18307b7f6dcb51568373669fb4ec8a83681f169d
Use `vocabs.prettyprint.private`
extra/lint/vocabs/vocabs.factor