diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-01-04 12:09:26 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-01-04 12:09:26 +0100 |
commit | 705b807c950a697d3c8be592c452a6fb3e561c7e (patch) | |
tree | 82904661aca945d008f07deb568ee7f05b55df4f /source/luametatex/source/libraries/avl/readme.txt | |
parent | 62d980c99a617ff260f29ac2d3bdb084049f25b0 (diff) | |
download | context-705b807c950a697d3c8be592c452a6fb3e561c7e.tar.gz |
2023-01-04 11:35:00
Diffstat (limited to 'source/luametatex/source/libraries/avl/readme.txt')
-rw-r--r-- | source/luametatex/source/libraries/avl/readme.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/source/luametatex/source/libraries/avl/readme.txt b/source/luametatex/source/libraries/avl/readme.txt index de5d4993e..90ff0949b 100644 --- a/source/luametatex/source/libraries/avl/readme.txt +++ b/source/luametatex/source/libraries/avl/readme.txt @@ -17,4 +17,7 @@ information mentioned above. The files had some (experimental) code as well as o values. As I don't expect updates (the code has been okay for quite a while) I made the tests mandate and removed the experimental code. +We can strip this library and save some 10K on the binary because we don't need that much of it. That +might happen at some point. + Hans Hagen
\ No newline at end of file |