diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-05-27 12:37:50 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-05-27 12:37:50 +0200 |
commit | 32381f97e98465953bfde24b4436093e70fbe70f (patch) | |
tree | 1f585cf7af509e76c64aca108cecd23acd6fb437 /source/luametatex/source/libraries/miniz/readme.txt | |
parent | bb8ae12f4f94189fd1540b201e2aea78f485de97 (diff) | |
download | context-32381f97e98465953bfde24b4436093e70fbe70f.tar.gz |
2023-05-27 12:16:00
Diffstat (limited to 'source/luametatex/source/libraries/miniz/readme.txt')
-rw-r--r-- | source/luametatex/source/libraries/miniz/readme.txt | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/source/luametatex/source/libraries/miniz/readme.txt b/source/luametatex/source/libraries/miniz/readme.txt index 8a5e6979e..4527133d7 100644 --- a/source/luametatex/source/libraries/miniz/readme.txt +++ b/source/luametatex/source/libraries/miniz/readme.txt @@ -1,8 +1,8 @@ -Remark - -Conform the recommendation we use the official merged files (release) not the github files. Also, we -only use part of that single file because we do all file handling ourselves because we operate within -the file name regime of LuaMetaTeX that is aware of operating system specifics like wide filenames on -MSWindows). We don't drop in updates without careful checking them first for potential clashes.\\ - +Remark
+
+Conform the recommendation we use the official merged files (release) not the github files. Also, we
+only use part of that single file because we do all file handling ourselves because we operate within
+the file name regime of LuaMetaTeX that is aware of operating system specifics like wide filenames on
+MSWindows). We don't drop in updates without careful checking them first for potential clashes.\\
+
release url: https://github.com/richgel999/miniz/releases
\ No newline at end of file |