diff options
| author | Jeremy Kolb <[email protected]> | 2019-02-14 14:15:58 +0000 |
|---|---|---|
| committer | kjeremy <[email protected]> | 2019-02-14 15:28:48 +0000 |
| commit | 1cd59664621def9d0a694505cf095714e49a6761 (patch) | |
| tree | a75f2a88894f276e6034e15d33cd27be47bbb130 /editors | |
| parent | b85c189500a47f3c5f7690250611b06e08616c9a (diff) | |
Be precise about the argument list
Fixes #812
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions