retro.muri: choose
now slightly faster (inlined the flag normalization)
FossilOrigin-Name: d26bcb7f1967cc0e6e0e38327d4f6cd5ada10efd594dfe339ed207b4ddf261d8
This commit is contained in:
parent
ef52d0681d
commit
e0853c86bb
3 changed files with 587 additions and 591 deletions
Loading…
Reference in a new issue