diff options
author | Hans Hagen <pragma@wxs.nl> | 2022-09-16 15:53:42 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-09-16 15:53:42 +0200 |
commit | c161b7d6fe142231346cc1844e6e27c0ab7718c1 (patch) | |
tree | 3fd877b8986137703e987e4651a2db8e946a0f72 /source/luametatex/source/libraries/miniz/readme.txt | |
parent | e94fa4dc30ec28a6727aa85e17aaac18b76aeadb (diff) | |
download | context-c161b7d6fe142231346cc1844e6e27c0ab7718c1.tar.gz |
2022-09-16 14:41:00
Diffstat (limited to 'source/luametatex/source/libraries/miniz/readme.txt')
-rw-r--r-- | source/luametatex/source/libraries/miniz/readme.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/source/luametatex/source/libraries/miniz/readme.txt b/source/luametatex/source/libraries/miniz/readme.txt new file mode 100644 index 000000000..8a5e6979e --- /dev/null +++ b/source/luametatex/source/libraries/miniz/readme.txt @@ -0,0 +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.\\ + +release url: https://github.com/richgel999/miniz/releases
\ No newline at end of file |