aboutsummaryrefslogtreecommitdiff
path: root/dev/include
diff options
context:
space:
mode:
authorEnrico Tassi2021-03-05 15:23:04 +0100
committerEnrico Tassi2021-03-05 15:23:04 +0100
commit220e54a9cfa4d9f5da550542a8b6ca5ab90c1698 (patch)
treed0d709ba0ccf619ac8bc19870dc7b9718bfd177d /dev/include
parenta5bea627d1fe742229497b466ca24b470c20d269 (diff)
[coercipn] expose coercion_info
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions