diff options
| author | Ondrej Zajicek <santiago@crfreenet.org> | 2023-04-21 19:29:17 +0200 |
|---|---|---|
| committer | Ondrej Zajicek <santiago@crfreenet.org> | 2023-04-21 19:31:16 +0200 |
| commit | 1a1e13cc2fc2df82e2319b7beeb18bb8eb92fbd2 (patch) | |
| tree | 1287e9bb9a6b3383e3863afdc2af4cdaab1d9bcd /doc/tex | |
| parent | 52450bc96dcedbc30cbb2e282c6706ad9e5e5774 (diff) | |
Filter: Disable some trie formatting tests
Trie formatting works slightly different with 4-way tries than with
16-way ones, so these tests generated false error. Block them for now.
Diffstat (limited to 'doc/tex')
0 files changed, 0 insertions, 0 deletions