diff options
| author | Johannes Ranke <johannes.ranke@jrwb.de> | 2023-08-09 17:13:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-09 17:13:01 +0200 |
| commit | f21373a16d368c56234246417a32bdfb95589cf9 (patch) | |
| tree | c5febfdcb1bd63059854e8f840a0c6e648cf3093 /docs/reference/mkinerrmin.html | |
| parent | 1bda49a550ad5ed66a4eade350850e33f1033a7a (diff) | |
Go back to jammy on travis
As it passed all tests
Diffstat (limited to 'docs/reference/mkinerrmin.html')
0 files changed, 0 insertions, 0 deletions