diff options
| author | Jens Getreu | 2023-08-15 07:41:26 +0000 |
|---|---|---|
| committer | GitHub | 2023-08-15 07:41:26 +0000 |
| commit | 61ccf4eded132629cfb4a7d76c7c55d9b1169136 (patch) | |
| tree | 60630acd70b094117bf642533ab893493e58ce60 /.github/workflows | |
| parent | 567eda88ef00b40ecabb22dc896872063d8aeda4 (diff) | |
autumn theme: improve readability of comments (#7939)
* Improve readability of comments
* Rename color
* Rename color
* Sort variables
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions