diff options
author | Fred Sundvik <fsundvik@gmail.com> | 2016-07-30 22:07:01 +0300 |
---|---|---|
committer | Fred Sundvik <fsundvik@gmail.com> | 2016-07-31 13:42:04 +0300 |
commit | 84bfb195545b0ba527f34c386d15d6f732a28de7 (patch) | |
tree | 25d15ed72e3fb4d5b820dcc5819dc05897751e2b /doc | |
parent | e58e9af2ab2c0e66a8456b48d46f4d71a66af27a (diff) |
Force compilation and linking when options changes
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions