summaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
authorRon Minnich <rminnich@gmail.com>2012-04-14 18:22:23 -0700
committerRon Minnich <rminnich@gmail.com>2012-04-14 18:22:54 -0700
commit89823fde181608becd82c810bbf2894f547b4c9e (patch)
treef2eaa1cb922c422ab98b2136ee6227919cdabf07 /util/lint
parent26c7b86907278504eaa79d381b92e2270eab77fc (diff)
Remove this directory. We've determined that for a number of very good reasons
we want to keep this tree source-only. Signed-off-by: Ron Minnich <rminnich@gmail.com>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions