diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-12-20 12:56:50 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-12-20 12:56:50 +0100 |
commit | 4912f9041cbb46a643d85f7e9c8092579ef8157e (patch) | |
tree | c5f9837cffbc001fc4ff5d341f172f17f41d8f67 /INSTALL | |
parent | ac7b72b51b5e39d3703e2c42940118c4a98ccddb (diff) | |
download | sync-4912f9041cbb46a643d85f7e9c8092579ef8157e.tar.gz sync-4912f9041cbb46a643d85f7e9c8092579ef8157e.tar.bz2 sync-4912f9041cbb46a643d85f7e9c8092579ef8157e.zip |
remove dead/redundant options
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions