aboutsummaryrefslogtreecommitdiff
path: root/COPYING
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-05-30 21:30:02 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-05-30 21:30:02 +0200
commite0f51b823f7783128f4a85bc570300b761f9369c (patch)
tree44158132ec18494f928ad72810898a2b747dd05d /COPYING
parentb6f6e429e8f5feafd8c118f4d8511110e496d497 (diff)
fix compilation issue (by removing duplicated code)
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions