Fixed issue with "Save as", which would not respect .xml.gz and would
commit570946b0426e2a31ac0a72f70a59dae9879c17fc
authorAlbert Cardona <sapristi@gmail.com>
Tue, 3 Jul 2012 14:39:32 +0000 (3 10:39 -0400)
committerAlbert Cardona <sapristi@gmail.com>
Tue, 3 Jul 2012 14:39:32 +0000 (3 10:39 -0400)
tree191ca6e86f73d821ec7d08ba40b3b550b5704d6f
parent38a906af210bf26a2b82e54bf263ac87621911e0
Fixed issue with "Save as", which would not respect .xml.gz and would
use instead .xml.xml.
ini/trakem2/persistence/Loader.java