diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-10-04 21:25:53 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-10-04 21:48:17 -0700 |
| commit | 96cbd762a1459ae41d479da2babeb06e469f7e53 (patch) | |
| tree | f8160cbc3cb1def51c6c00ea1298c48a26e6195b /src/Text | |
| parent | 87bff282982b49c37b1ff1c1377111fbcac4c9fc (diff) | |
Makefile: Improve checkdocs.
Diffstat (limited to 'src/Text')
0 files changed, 0 insertions, 0 deletions