]> granicus.if.org Git - sudo/commit
projects / sudo / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a929ce) | patch
For the lint target, don't stop after the first manual that fails lint.
authorTodd C. Miller <Todd.Miller@sudo.ws>
Wed, 15 Aug 2018 16:02:40 +0000 (10:02 -0600)
committerTodd C. Miller <Todd.Miller@sudo.ws>
Wed, 15 Aug 2018 16:02:40 +0000 (10:02 -0600)
commit18ddabfebf4028664ad84ee7eb3e7de02aa0c4a5
tree0cea50101818f73b7cbc5405ed70f536a986b05btree | snapshot
parent7a929ce13559537cca0ef156fa71baeb3c8adb84commit | diff
For the lint target, don't stop after the first manual that fails lint.
doc/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.