diff options
author | Son Ho | 2023-10-24 17:48:02 +0200 |
---|---|---|
committer | Son Ho | 2023-10-24 17:48:02 +0200 |
commit | a1f3bbb50d44d7ba881b32b8b05b1474276c9a4d (patch) | |
tree | 41d21dae4d7e74614b002fe832dd081ac53a2ea6 /tests/hol4 | |
parent | 6eebc66e34561bc6985b5866d49c8314a6fbaee9 (diff) | |
parent | c3c7ca132b0dc0c4ea9205876932decda63baca1 (diff) |
Merge branch 'son_traits' into son_traits_types
Diffstat (limited to 'tests/hol4')
0 files changed, 0 insertions, 0 deletions