diff options
| author | John Hawthorn <john@hawthorn.email> | 2019-01-13 20:54:03 -0800 |
|---|---|---|
| committer | John Hawthorn <john@hawthorn.email> | 2019-02-02 21:40:13 -0800 |
| commit | 730b6ad7bbd00e90930eefd2d37ce10149ba58bd (patch) | |
| tree | f8f4d03f3d15e813faec5de999c2502f5a5adb7f /src/config.def.h | |
| parent | 3027259581509f4aa901d6e77743c8a3c4dbbbc7 (diff) | |
Rebuild config.h if config.def.h is newer
Diffstat (limited to 'src/config.def.h')
0 files changed, 0 insertions, 0 deletions