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/syntax | |
| parent | cc8e8e8e37603e69e85e68fb00df0ac28faac971 (diff) | |
| parent | 989011a5648e682a608f7df0f22056035d46b0ad (diff) | |
Merge PR #9770: Correct dependencies in the micromega pack
Reviewed-by: ejgallego
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions