Some archive managers like 7ZIP decide the file format not from the file
extension,
but from the file content.
E.g. JAR or DOCX files are nothing else but ZIP files.
If you renamed them to *.ZIP,
you could open them by any archiver.
----------
Dne 3. října 2018 16:04:20 bdtx400 <[email protected]> napsal:
Ok Thanks. With 7Zip I get the jarfile. Not with unzip
--
You received this message because you are subscribed to the Google Groups
"Osmand" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
