serial/Exporter: Better zip/noZip choice
authorNiki Roo <niki@nikiroo.be>
Sun, 24 Feb 2019 09:46:08 +0000 (10:46 +0100)
committerNiki Roo <niki@nikiroo.be>
Sun, 24 Feb 2019 09:46:08 +0000 (10:46 +0100)
commit8a5c590389f5a6704300a583827ac7ee982a8d73
treee65498b0c22b0e6a8c7b806b57d49fdc2ab17357
parent50f310770d22891a915b0227ebfbd83674935aad
serial/Exporter: Better zip/noZip choice
src/be/nikiroo/utils/serial/Exporter.java