diff options
| author | Enrico Tassi | 2020-12-07 17:42:06 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-07 17:42:06 +0100 |
| commit | 39b4eb98d529e8f08f18b4007a13416902c7ec26 (patch) | |
| tree | 73ab6c87ec4d02795cb956ff6459620dd6da753a /plugins/syntax | |
| parent | 9d878c3f830eb5e5e31726c3b5580a7a724ecfab (diff) | |
[rm] manual is uploaded by CI
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions