Commit Graph

2 Commits

Author SHA1 Message Date
Laurent Rineau 0f28931760 Add a newline 2022-11-07 16:43:48 +01:00
Laurent Rineau 9a881390a6 Rename Is_a_trivial_construction (remove `_a`) 2022-11-07 16:23:33 +01:00