tree 4e0d52d2a2e4d4b2ae9ebe84c1f4656a116e12e1
parent 00f7a285aac3063b8f323ad89eac539cc81713cb
author Doru Bercea <gheorghe-teod.bercea@ibm.com> 1603215816 -0400
committer Nicola Ferraro <ni.ferraro@gmail.com> 1603315644 +0200

Remove unused options.