diff options
| author | Fausto Núñez Alberro <[email protected]> | 2025-07-03 16:32:47 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-07-03 14:32:47 +0000 |
| commit | dcb9381138d92e17a6aff70e8a5fa58398a06e17 (patch) | |
| tree | 8407198688b9a11a2e29d5c2d6e9a79aee62d9ed /scripts/publish-sandbox.js | |
| parent | a68f28e5cc895ff6ffa3a1a74910ad5bf8437205 (diff) | |
Use AccentBlue: 'blue' in ANSI theme instead of hard-coded #0000FF (#3100)
Co-authored-by: Riccardo Carlesso <[email protected]>
Diffstat (limited to 'scripts/publish-sandbox.js')
0 files changed, 0 insertions, 0 deletions