]> gitweb.factorcode.org Git - factor.git/commit
command-line: Fix -exclude docs
authorGiftpflanze <gifti@tools.wmflabs.org>
Mon, 23 Jan 2023 14:29:06 +0000 (14:29 +0000)
committerGiftpflanze <gifti@tools.wmflabs.org>
Mon, 23 Jan 2023 14:29:06 +0000 (14:29 +0000)
commite8ed2c5331b7f01275f9fecf6989e5cca4d5eebb
tree6e7b61855741eacfdff06e7fe23319a5205d8bf6
parent668d73513dc8832882666c98e17c518996ba8297
command-line: Fix -exclude docs
basis/command-line/command-line-docs.factor