Commit Graph

1 Commits

Author SHA1 Message Date
Laurent Rineau 9a881390a6 Rename Is_a_trivial_construction (remove `_a`) 2022-11-07 16:23:33 +01:00