diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2015-11-26 23:06:13 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2015-11-26 23:06:13 +0100 |
| commit | 82413bd2a1533f31a39de196411be2df0b8f4bad (patch) | |
| tree | 292ff95df012c3c90d03877a55378a3e6c55dda5 /tools | |
| parent | 772900c4ff9597d8f4e23ca9198eeaec757bb008 (diff) | |
| parent | 523b67e740121b0f429676a6e2e76520030e872d (diff) | |
Merge pull request #2921 from est31/error_if_no_export_to
Print error if no export destination has been passed
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions