diff options
| author | Omer Ben-Amram <[email protected]> | 2019-12-15 10:33:14 +0000 |
|---|---|---|
| committer | Omer Ben-Amram <[email protected]> | 2019-12-15 10:39:31 +0000 |
| commit | 50ecb1e19bc555aa627224d41a5ca243e44296f4 (patch) | |
| tree | 1e93f0960bcaad49ea1325bd1d42e851380ca613 /.github/workflows | |
| parent | 3e8f9eb6c45b6bde294c79deea0e5bb02c084ae0 (diff) | |
introduce named constants for highlighting tag names.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions