diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-05-13 09:35:38 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-13 09:35:38 -0700 |
| commit | 57dc0a982489a92f5c010bc4962c929de5f20c70 (patch) | |
| tree | 42a3aa7fd23abc3a23d8088d7534a9208e45551c /src | |
| parent | 99bb5523b756c43ce7de6ee4606ed89a2d4d41b9 (diff) | |
CI: change shared to cmark_opts in matrix, add linter.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions