aboutsummaryrefslogtreecommitdiff
path: root/dev/include
diff options
context:
space:
mode:
authorOlivier Laurent2019-11-26 19:43:42 +0100
committerOlivier Laurent2019-12-06 14:34:30 +0100
commitd7ee99a2d73a83fe02d49c0faa53d12894486a78 (patch)
treee3107062fe66d4f5863799c36835a03446cb374f /dev/include
parentc4e906383824dad74083a89013b65d03ae530cc9 (diff)
add elt_eq_unit
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions