diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:57:45 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:57:45 -0700 |
commit | 76ddef4b1bb6d95bb77d267e76d5647e68c8aae2 (patch) | |
tree | dd156003b7ad40ca5dd623c989c6b0f6b36e0aaf /oldtests/Links/CaseInsensitiveReferences.html | |
parent | 2a42369f4233b092392d75dbc2c539a481a8cb03 (diff) |
Add CI badge.
Diffstat (limited to 'oldtests/Links/CaseInsensitiveReferences.html')
0 files changed, 0 insertions, 0 deletions