diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-05-13 09:47:25 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-13 09:47:25 -0700 |
commit | 35535d582215d00ab1270ec2673e4fc3f5675b79 (patch) | |
tree | 41ccb1002a28ab91808a980ad9c682dd1e92e1ac /man/man3 | |
parent | 5a13e06b02755b1d75192d5d00b054437f0e13c3 (diff) |
CI: Another attempt to add clang-tidy.
Diffstat (limited to 'man/man3')
0 files changed, 0 insertions, 0 deletions