diff options
| author | Florian Diebold <[email protected]> | 2019-07-09 20:34:23 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-07-14 17:22:47 +0100 |
| commit | 0a20770f46138909d91a1db371ed7371caf704e1 (patch) | |
| tree | 91e0ce8cdaaf93abf97c08f69e99a8047f57f545 /editors | |
| parent | c4e2e36e4c3cdaf5243a4d481221804e2d71bc8e (diff) | |
Some renamings for clarity
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions