[GitHub] [jena-site] rvesse commented on a change in pull request #72: JENA-2181: Notes on using alternative compression

rvesse commented on a change in pull request #72: URL: https://github.com/apache/jena-site/pull/72#discussion_r741382211 ## File path: source/documentation/io/__index.md ## @@ -72,6 +72,13 @@ In addition, if the extension is `.gz` the file is assumed to be gzip compressed. Th

[GitHub] [jena-site] rvesse commented on a change in pull request #72: JENA-2181: Notes on using alternative compression

rvesse commented on a change in pull request #72: URL: https://github.com/apache/jena-site/pull/72#discussion_r741390287 ## File path: source/documentation/io/__index.md ## @@ -72,6 +72,13 @@ In addition, if the extension is `.gz` the file is assumed to be gzip compressed. Th

[GitHub] [jena-site] rvesse commented on a change in pull request #72: JENA-2181: Notes on using alternative compression

rvesse commented on a change in pull request #72: URL: https://github.com/apache/jena-site/pull/72#discussion_r741390287 ## File path: source/documentation/io/__index.md ## @@ -72,6 +72,13 @@ In addition, if the extension is `.gz` the file is assumed to be gzip compressed. Th

[GitHub] [jena-site] rvesse commented on a change in pull request #72: JENA-2181: Notes on using alternative compression

rvesse commented on a change in pull request #72: URL: https://github.com/apache/jena-site/pull/72#discussion_r741382211 ## File path: source/documentation/io/__index.md ## @@ -72,6 +72,13 @@ In addition, if the extension is `.gz` the file is assumed to be gzip compressed. Th

[GitHub] [jena-site] rvesse commented on a change in pull request #72: JENA-2181: Notes on using alternative compression

rvesse commented on a change in pull request #72: URL: https://github.com/apache/jena-site/pull/72#discussion_r740205968 ## File path: source/documentation/io/__index.md ## @@ -72,6 +72,13 @@ In addition, if the extension is `.gz` the file is assumed to be gzip compressed. Th