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 /.gitignore | |
| parent | e58e9af2ab2c0e66a8456b48d46f4d71a66af27a (diff) | |
Force compilation and linking when options changes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions