diff options
Diffstat (limited to 'exception_lists/manlint')
| -rw-r--r-- | exception_lists/manlint | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/exception_lists/manlint b/exception_lists/manlint index 88ff4ce84d..89be350691 100644 --- a/exception_lists/manlint +++ b/exception_lists/manlint @@ -27,3 +27,4 @@ usr/src/lib/libpool/dtd/rm_pool.dtd.1 usr/src/lib/libzonecfg/dtd/zonecfg.dtd.1 usr/src/test/util-tests/tests/grep_xpg4/files/* usr/src/tools/smatch/src/* +usr/src/contrib/ast/* |