tree 50bfcad35724a53b56c5ef3aeeded9b88f4f4cb7
parent 51dadaeacde6de32ab945ef0c930e1f3d95f2ae0
author William S Fulton <wsf@fultondesigns.co.uk> 1544425669 +0000
committer William S Fulton <wsf@fultondesigns.co.uk> 1544425669 +0000

Remove -noolddefs command line option

This was a pointless option as it is off by default.