aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorPierre Letouzey2016-05-04 13:49:56 +0200
committerPierre Letouzey2016-05-04 13:49:56 +0200
commit6cc5863b8d0e85c3d4f5e81fce7e9680134708a7 (patch)
tree3e6cf15bc3cf247d2c35bac5d02b979eea6a38e1 /dev
parent174fd1f853f47d24b350a53e7f186ab37829dc2a (diff)
NPeano : improve compatibility for this deprecated file via compat notations
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions