diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-08-29 14:31:03 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-08-29 14:31:03 +0200 |
commit | de804fd0eedc13fb5079270a2a21279518d4bb0b (patch) | |
tree | 3160418964ddc07b44da545e898501b38fef4e75 /rules/rules.tex | |
parent | eabee174af9393350c09965d6b383744710154ed (diff) |
Generalise freezeRet a little bit
Diffstat (limited to 'rules/rules.tex')
0 files changed, 0 insertions, 0 deletions