diff options
| author | Emilio Jesus Gallego Arias | 2019-03-20 02:03:58 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-20 02:03:58 +0100 |
| commit | cdceaf20b881ead0562104bc471e482ed249c711 (patch) | |
| tree | 5b0880cbdfd1680148d01ddf54b77f57c675988f /plugins | |
| parent | cc8e8e8e37603e69e85e68fb00df0ac28faac971 (diff) | |
| parent | 989011a5648e682a608f7df0f22056035d46b0ad (diff) | |
Merge PR #9770: Correct dependencies in the micromega pack
Reviewed-by: ejgallego
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/micromega/micromega_plugin.mlpack | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/micromega/micromega_plugin.mlpack b/plugins/micromega/micromega_plugin.mlpack index 2baf6608a4..e3aa0dab7d 100644 --- a/plugins/micromega/micromega_plugin.mlpack +++ b/plugins/micromega/micromega_plugin.mlpack @@ -1,8 +1,8 @@ +Micromega Mutils Itv Vect Sos_types -Micromega Polynomial Mfourier Simplex |