aboutsummaryrefslogtreecommitdiff
path: root/dev/include
diff options
context:
space:
mode:
authorVincent Laporte2019-10-23 11:51:00 +0000
committerVincent Laporte2019-11-25 08:40:38 +0000
commit47d7a113fba71096a61bc30836d13527663e6f32 (patch)
tree396de9acb51d70cff186413b641b0b16fb71ed0f /dev/include
parent7177a6f76e74eb6e97c634bad484027bf94979bd (diff)
MSets: use “lia” rather than “omega”
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions