diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-24 14:47:22 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-04-24 14:47:22 +0200 |
| commit | d0093238afad839adec76cb99ac0ef0657e7f87c (patch) | |
| tree | 77ff14cccbd1f045ebc4b001392a10aa53fe790e /doc/.gitignore | |
| parent | fdd97d96801a0edbffae651fddc512a35a893234 (diff) | |
Add change flag in addition to timestamp in Windows manifest logic
Essentially the same idea as with using target_state::changed in case
the timestamps are equal (due to insufficient resolution).
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions