diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-09-27 13:05:00 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-09-27 13:42:23 -0700 |
| commit | 4932ee324d675449b2d5120b7d7671a3de0c0d06 (patch) | |
| tree | 2a38c18b747a332ff2c3e9f861bd20f8c0ccfa9d /src | |
| parent | a27e10111a27c96b746e58552550facd4f14f29d (diff) | |
Makefile: add whitespace check to 'check'.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions