diff options
| author | Damiano Galassi <[email protected]> | 2019-07-20 18:00:58 +0200 |
|---|---|---|
| committer | Damiano Galassi <[email protected]> | 2019-07-20 18:00:58 +0200 |
| commit | b1d77405043622f98492a6a725d0d0b388cfba4d (patch) | |
| tree | 1818a6cb18aa1b0ec73ce6744e8b6e3b3752b01d /contrib | |
| parent | 40290672aca7579e7c7f220efc36f8569dfde7a1 (diff) | |
MacGui: fix file menu validation. Closes #2200.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions