diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-08-08 13:32:28 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-08-08 13:32:28 -0700 |
| commit | 1f3f9d6dda46f5125d9710bf095fbb449a98b823 (patch) | |
| tree | 32fec1f45c0780cc13d310efb92f5bda7a3fb473 /src/Text | |
| parent | 0aeb7aec1aa8f1286a954b0bbf2257a3ad86d060 (diff) | |
Switch CI to ubuntu-latest.
Diffstat (limited to 'src/Text')
0 files changed, 0 insertions, 0 deletions