]> Lady’s Gitweb - Etiquette/commitdiff
Allow “silent” persisting of tags
authorLady <redacted>
Mon, 29 May 2023 06:16:00 +0000 (23:16 -0700)
committerLady <redacted>
Wed, 14 Jun 2023 02:07:32 +0000 (19:07 -0700)
This simplifies the algorithm a little bit in the case that no output
is needed. Diffs are still necessary for properties with inverses.


No differences found
This page took 0.01814 seconds and 4 git commands to generate.