diff options
author | Thomas Voss <mail@thomasvoss.com> | 2023-06-25 18:54:22 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2023-06-25 18:54:22 +0200 |
commit | a4ce08bde0bcef664706b78146077ad7053a468b (patch) | |
tree | 6671037e22591b98def5e99a7e2fbf3a5a0c7ff0 /scripts/gen-pres | |
parent | 529114f2c769c359f2c0353631a183670d3dbebe (diff) |
Make sorting stuff much faster
Diffstat (limited to 'scripts/gen-pres')
0 files changed, 0 insertions, 0 deletions