diff options
| author | Jorge Iglesias Garcia <44316552+jorgeig-space@users.noreply.github.com> | 2021-08-27 12:00:33 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-27 12:00:33 +0800 |
| commit | eec2e9c154e421f7e12070d40a925e9e2c689986 (patch) | |
| tree | 6cd5cdd928db1e88135d4d26cf780af886b4ede0 /ui/unknown-interrupt.stderr | |
| parent | 58c2b6c829ece84bf66b2c9dbbf42c7249201d2e (diff) | |
Revert CI changes
Diffstat (limited to 'ui/unknown-interrupt.stderr')
0 files changed, 0 insertions, 0 deletions