Replace C2C.atom_is_extern by more robust criterion C2C.atom_is_external#538
Merged
xavierleroy merged 3 commits intomasterfrom Nov 22, 2024
Merged
Replace C2C.atom_is_extern by more robust criterion C2C.atom_is_external#538xavierleroy merged 3 commits intomasterfrom
C2C.atom_is_extern by more robust criterion C2C.atom_is_external#538xavierleroy merged 3 commits intomasterfrom
Commits
Commits on Nov 19, 2024
Commits on Nov 21, 2024
Commits on Nov 22, 2024
- committed