Jean-Marc Lasgouttes 4dec64dba4 gzstream is able to read uncompressed files too
This allows to simplify the code in Lexer and to remove the dependency
on Formats class.

As a consequence, a pair of dummy definitions of isZippedFile can be removed.
2021-11-24 11:44:53 +01:00
..
2020-01-07 16:27:23 +01:00
2015-05-16 11:11:08 +02:00
2015-07-12 18:10:43 +02:00