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 /contrib | |
| parent | ac7b72b51b5e39d3703e2c42940118c4a98ccddb (diff) | |
| download | sync-4912f9041cbb46a643d85f7e9c8092579ef8157e.tar.gz sync-4912f9041cbb46a643d85f7e9c8092579ef8157e.tar.bz2 sync-4912f9041cbb46a643d85f7e9c8092579ef8157e.zip | |
remove dead/redundant options
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions