diff options
author | Damiano Galassi <[email protected]> | 2016-12-31 12:04:06 +0100 |
---|---|---|
committer | Damiano Galassi <[email protected]> | 2016-12-31 12:04:06 +0100 |
commit | bcb1729a994d1e508584340c8fd82075223b3824 (patch) | |
tree | 4ef54bfb308ff5aad5b5962705fc912c67b6d8ba /contrib | |
parent | 7ba75322da188f3e44591908649df96af39fd3c3 (diff) |
MacGui: check if a file overwrites its source before adding it to the queue.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions