diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2015-11-25 08:07:35 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2015-11-25 08:07:35 +0100 |
| commit | 868a5a5be190448e7ce5f329248f48f2139b54bc (patch) | |
| tree | 907a25c0b96887953a7606ed6279d5e49512a294 /doc/header.txt | |
| parent | 7aa2a2e62c52e27853066e393991c72c005b3a6d (diff) | |
| parent | 5dc9770febf18ec2716a897528927cefadd23ab6 (diff) | |
Merge pull request #2910 from est31/export_error_on_headless
Print errors to console when exporting
Diffstat (limited to 'doc/header.txt')
0 files changed, 0 insertions, 0 deletions