aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorChristian Doczkal2020-05-04 15:50:18 +0200
committerChristian Doczkal2020-05-04 15:50:18 +0200
commitdf0662036fe5a8ff6410876ee4a441f97ba0907c (patch)
tree6851fe8b7a57a4fb51c160120cf4b7a382d845f4 /docs
parent582a4a3943652b1ba7e9e689bf4051ada17f1c36 (diff)
document 'in_' and 'mem_' prefixes for infix membership
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions