diff options
| author | Cyril Cohen | 2021-02-17 21:43:35 +0100 |
|---|---|---|
| committer | GitHub | 2021-02-17 21:43:35 +0100 |
| commit | 17dd3091e7f809c1385b0c0be43d1f8de4fa6be0 (patch) | |
| tree | adaf94164e33cd597974c969645fd19be45c7618 /mathcomp/Makefile.common | |
| parent | fb9fb240fe7f6a99035a4db23942cb774458d7a3 (diff) | |
Update nix.yml (#699)
* Update nix ci
Diffstat (limited to 'mathcomp/Makefile.common')
0 files changed, 0 insertions, 0 deletions