diff options
| author | Hugo Herbelin | 2020-05-11 17:41:58 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-15 18:05:11 +0200 |
| commit | 7c113b3a736e8a374b8a57aacde846fc5c5cbf3f (patch) | |
| tree | 53e0163fdb591bbe6db9b253022be99dfe3f0592 /plugins | |
| parent | 96333c1bf27f33c15e2475c11c7bfefe87d3a6e1 (diff) | |
Addressing a suggestion from Théo Zimmermann.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions