diff options
| author | Dundar Göc <gocdundar@gmail.com> | 2022-01-30 22:21:31 +0100 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-01-30 22:52:10 +0100 |
| commit | efedf3510aa85f89a687dd1e29eab6f4677fa17e (patch) | |
| tree | 539dcc8eef5ebedac71f60247efebc48f5514a50 /plugin | |
| parent | ab29010c5bb9ba8f575cf08f1d8b24949a8a6688 (diff) | |
ci: add folds to CI output to better group related information
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions