diff options
| author | Vincent Laporte | 2020-08-08 06:12:09 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2020-08-08 06:12:09 +0200 |
| commit | ef08abec26c2f0017d1136870f8f99144e579538 (patch) | |
| tree | f25c11cc50de7a3e680b5c9d01d9ef1f447d82c0 /plugins/micromega | |
| parent | 7427e7c5fa5312e7625ebf5243978691fdb04f92 (diff) | |
| parent | a2da87278607e149195cd9abb1dd566c1a9628f1 (diff) | |
Merge PR #12796: [default.nix] Propagate dependency on num following #12604.
Reviewed-by: vbgl
Diffstat (limited to 'plugins/micromega')
0 files changed, 0 insertions, 0 deletions