diff options
| author | Michael Vetter <jubalh@iodoru.org> | 2023-04-03 23:31:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-03 23:31:48 +0200 |
| commit | 36fd4faa4f9aaf2c32126097b73500ee55712f66 (patch) | |
| tree | e5be2e4e112d2da4252f8d4e96f26fd5f5e6fce6 /src/tools | |
| parent | 6b597f6608c454e48000847bb3c0b5c2fdc4f292 (diff) | |
| parent | 883469c549c4d44c88559c67b9d5fd04bc563d66 (diff) | |
| download | profani-tty-36fd4faa4f9aaf2c32126097b73500ee55712f66.tar.gz | |
Merge pull request #1811 from shahab-vahedi/batman-fix
Fix color name in batman theme
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions