diff SMALL @ 1297:5abbecdecba4

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"
author Matt Johnston <matt@ucc.asn.au>
date Wed, 04 May 2016 17:59:34 +0200
parents b9d3f725e00b
children 13cb8cc1b0e4
line wrap: on
line diff