aboutsummaryrefslogtreecommitdiff
path: root/dev/include
diff options
context:
space:
mode:
authorMatthieu Sozeau2016-03-14 11:14:03 +0100
committerMatthieu Sozeau2016-03-14 11:40:52 +0100
commit6caf8b877e44862b21104236423c23972166cdd7 (patch)
treeafec63b262daf9cdb9c9f91dec04959d95f8accd /dev/include
parent1b984a697076aae9bbdb96efbecbbbec274cbf2a (diff)
Fix the comment of Refine.refine
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions