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 | |
| parent | a7ed77403cd15ba1cc2c05f2b6193b46f0028eda (diff) | |
Update credits.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions