diff options
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 |