diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-02-27 16:12:35 +0100 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-02-27 16:12:35 +0100 |
| commit | 69cccd197a4aa331647a02046e708396f6a13937 (patch) | |
| tree | 0f871e1dffe91ae44a472450eafefa53381c45da /graph | |
| parent | db5ee187a9fb8d9338c74e74c2d2b4b38b2ab586 (diff) | |
rename inv to multInv to match usage sites
Diffstat (limited to 'graph')
0 files changed, 0 insertions, 0 deletions