diff options
| author | Mario Forzanini <mario.forzainin@studenti.unimi.it> | 2021-07-05 15:46:08 +0000 |
|---|---|---|
| committer | Mario Forzanini <mario.forzainin@studenti.unimi.it> | 2021-07-05 15:46:08 +0000 |
| commit | 423b24932dcbc853b13f202eaae56c96a3268d63 (patch) | |
| tree | ac5c9a1d7a17e7cd355b3c2c5aad4cc159abd46c /plugin?id=423b24932dcbc853b13f202eaae56c96a3268d63 | |
| parent | eb497fd97a50228a764b8687a552d2ae19c313d3 (diff) | |
Add general settings and mappings.
Diffstat (limited to 'plugin?id=423b24932dcbc853b13f202eaae56c96a3268d63')
0 files changed, 0 insertions, 0 deletions