tree 5033f6a2bbd5d7ed3e2794adbf65752aab6bb312
parent 1152e47b529dc39fa9ffff3e1ee9ce2b11a3fba6
author Matt Johnston <matt@ucc.asn.au> 1462377574 +0200
committer Matt Johnston <matt@ucc.asn.au> 1462377574 +0200
HG:rename-source hg

Add generated header default_options.h to version control.
This is a workaround since I cannot figure how to get dependencies
to work properly with "make -j"