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 /Makefile | |
parent | c67d7a0463454d62d3d2a5f10cc38699f8e18e66 (diff) | |
download | ekdosis-ee13476159a05039c3bac2af09f2d5858a05ff3c.tar.gz |
done replacing 'keycommand' with 'options'
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions