diff options
author | Artturin <Artturin@artturin.com> | 2022-03-30 17:45:28 +0300 |
---|---|---|
committer | Artturin <Artturin@artturin.com> | 2023-03-13 18:01:21 +0200 |
commit | 966751656645c2c545c78b04b9f8d93465b8f290 (patch) | |
tree | bb5bea2a6b640a6fd219e29fccd4a9a1a66252ba /doc/manual/theme/highlight.js | |
parent | e8415dc439704ee71b0a03b60bc5110bd3426314 (diff) |
add labeler workflow
Diffstat (limited to 'doc/manual/theme/highlight.js')
0 files changed, 0 insertions, 0 deletions