aboutsummaryrefslogtreecommitdiff
path: root/dev/base_include
diff options
context:
space:
mode:
authorGuillaume Melquiond2015-12-22 22:36:27 +0100
committerGuillaume Melquiond2015-12-22 22:36:27 +0100
commit8c684847844b25bd4ce071867fb480c9caa8cb62 (patch)
tree203cf29af544d14959583ae3e36e3c766ffc7c72 /dev/base_include
parent602badcad9deec9224b78cd1e1033af30358ef2e (diff)
Avoid a pointless conversion/copy.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions