diff options
| author | Théo Zimmermann | 2020-03-26 14:50:56 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-26 17:46:22 +0100 |
| commit | 89aefbacd26b5febe36274f722e67d25f6d42aeb (patch) | |
| tree | ea8361ea86c3867c588f791ac8c63cfbb9f74d36 /plugins | |
| parent | 738445a8db2b853204ea6f04b6b07751aeb40833 (diff) | |
Shrink refman-prelude files.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions