]> gitweb.factorcode.org Git - factor.git/commit
v0.3 rename / rebrand pedantic lint to help coverage; rewrite again
authorCat Stevens <catb0t@protonmail.ch>
Sat, 3 Feb 2018 18:16:53 +0000 (13:16 -0500)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 3 Feb 2018 22:58:32 +0000 (14:58 -0800)
commit0b6e1b2a5ce7f16547803f26fd75051f4d448708
treef2f16d2fd41eafa6f2befab49beffdd3794c70b6
parentde3d01daef8071358313a8ddfd22f0f00e07e568
v0.3 rename / rebrand pedantic lint to help coverage; rewrite again
extra/help/lint/coverage/authors.txt [new file with mode: 0644]
extra/help/lint/coverage/coverage-docs.factor [new file with mode: 0644]
extra/help/lint/coverage/coverage-tests.factor [new file with mode: 0644]
extra/help/lint/coverage/coverage.factor [new file with mode: 0644]
extra/help/lint/coverage/summary.txt [new file with mode: 0644]
extra/help/lint/coverage/tags.txt [new file with mode: 0644]
extra/help/lint/pedantic/authors.txt [deleted file]
extra/help/lint/pedantic/pedantic-docs.factor [deleted file]
extra/help/lint/pedantic/pedantic.factor [deleted file]
extra/help/lint/pedantic/summary.txt [deleted file]
extra/help/lint/pedantic/tags.txt [deleted file]