diff options
| author | Gaëtan Gilbert | 2020-03-30 13:42:33 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-03-30 13:42:33 +0200 |
| commit | d2f21a119fea99d8621fb227b82fa8a1bf17d9fb (patch) | |
| tree | aefc2ae026d100b2d1fd67a82c5c2095ff0a055b /plugins/micromega | |
| parent | 64e65e9fe7f0a4ea72ab195a4e8708a181c5abef (diff) | |
| parent | 34a14a56ca69846f57d6dd64ecd31b9188e2bc8e (diff) | |
Merge PR #11921: Remove some cruft from Reductionops API.
Reviewed-by: SkySkimmer
Reviewed-by: gares
Diffstat (limited to 'plugins/micromega')
0 files changed, 0 insertions, 0 deletions