diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-02-18 16:59:01 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-02-18 16:59:01 +0100 |
| commit | ee13476159a05039c3bac2af09f2d5858a05ff3c (patch) | |
| tree | 3fae22e5861f7b66f385caf7fbd78b59863ef985 /.gitignore | |
| parent | c67d7a0463454d62d3d2a5f10cc38699f8e18e66 (diff) | |
| download | ekdosis-ee13476159a05039c3bac2af09f2d5858a05ff3c.tar.gz | |
done replacing 'keycommand' with 'options'
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions