diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-01-12 15:08:26 +0100 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-01-12 15:08:26 +0100 |
commit | a97b659400565ccbce60b1854679a888394a93ae (patch) | |
tree | 103f39a84f4a26c4bf7ef545ac559e2c93352803 /plugins/funind/merge.ml | |
parent | a7ed77403cd15ba1cc2c05f2b6193b46f0028eda (diff) |
Update credits.
Diffstat (limited to 'plugins/funind/merge.ml')
0 files changed, 0 insertions, 0 deletions