diff options
| author |  Frédéric Besson <frederic.besson@inria.fr> | 2016-09-08 23:23:36 +0200 |
|---|---|---|
| committer | Frédéric Besson <frederic.besson@inria.fr> | 2016-09-08 23:23:36 +0200 |
| commit | e65c629bac48e61b3a14f05bfafc6b85486359c0 (patch) | |
| tree | 0e76cddb78a62eb9bd6bbf9ec8382fdfdf6f2cbb /plugins/micromega/certificate.ml | |
| parent | ef3f9fac7cff820bd927d122caef2c37a68a55c8 (diff) | |
Fix Bug #5073 : regression of micromega plugin
esprit d'escalier : is now also fixed for R
Diffstat (limited to 'plugins/micromega/certificate.ml')
0 files changed, 0 insertions, 0 deletions