diff options
| author | Maxime Dénès | 2015-11-13 14:21:01 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2015-11-13 14:21:53 +0100 |
| commit | 2fd497d380de998c4b22b9f7167eb4023e4cd576 (patch) | |
| tree | bf257a331909fb68ae866de839519ef787fe9275 /dev/doc | |
| parent | 0c11bc39927c7756a0e3c3a6c445f20d0daaad7f (diff) | |
MacOS package script: do not fail if directory _dmg already exists.
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions
