diff options
author | Jack Lloyd <[email protected]> | 2017-12-12 00:29:50 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-12-12 00:29:50 -0500 |
commit | 08bdefc9912101579218503c83b28db6e2cdc581 (patch) | |
tree | 822739093fa722d3fdb677ea6cd53416088ed217 /src/lib | |
parent | 9c31cb35b1d824cc4a44ba3b7c52e36f0ce379aa (diff) |
Remove vestigial handling of removed options [ci skip]
The --destdir option was removed in 2.2.0, and the amalgamation options
were removed before 2.0.0
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions