diff options
| author | Blaž Hrastnik | 2023-02-09 02:04:44 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2023-02-09 02:04:44 +0000 |
| commit | 8e2eab1a6fd90e3989ac807f675b022c540ad014 (patch) | |
| tree | c1c2cb316446a18fdbc7c9575f3e6ae34bfb7b6a /book/src/generated | |
| parent | 882fa11d17c27fbda3426023b898c0e7acb6cd94 (diff) | |
Also run build checks on merge queue
Diffstat (limited to 'book/src/generated')
0 files changed, 0 insertions, 0 deletions