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 /oldtests | |
parent | 99bb5523b756c43ce7de6ee4606ed89a2d4d41b9 (diff) |
CI: change shared to cmark_opts in matrix, add linter.
Diffstat (limited to 'oldtests')
0 files changed, 0 insertions, 0 deletions