diff options
author | Juan Linietsky <reduzio@gmail.com> | 2016-06-14 08:48:34 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2016-06-14 08:57:00 -0300 |
commit | 333de40180d7d8d6890cceaa1bc3d46efa2b5083 (patch) | |
tree | 6e1b2f7594b1d161924b83a54cbb3a5fa47735af /tools/bmfhdr/makehdr.py | |
parent | 99e5bb56d120e82279404db2731b2d930ef1b30b (diff) |
does not fix the bug reported in #4326 and #4818,
but at least make sure it throws and error and does not crash
Diffstat (limited to 'tools/bmfhdr/makehdr.py')
0 files changed, 0 insertions, 0 deletions