diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-12-26 22:49:50 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-12-26 22:49:50 -0800 |
| commit | 0ba8af939c7bf95882ea8c2e877f20fd533202fc (patch) | |
| tree | e578f725d89260e1b0edc842f04196b9c062a104 /src/Text | |
| parent | b9b8343645f0ba454de83268ffc1d67b3e8aa034 (diff) | |
commit validation CI: work with regular push as well as pr.
Diffstat (limited to 'src/Text')
0 files changed, 0 insertions, 0 deletions