diff options
| author | Gaëtan Gilbert | 2020-06-24 13:35:02 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-06-24 13:35:02 +0200 |
| commit | e22a74188414de6b1f005b98c49c0be17d78cbbd (patch) | |
| tree | e464d83e04f46b1a0d3d05d87f183a384dc772fe /Makefile.dev | |
| parent | 3ba88c944db09003caaa668699230613b1bca793 (diff) | |
Revert "[opam] Don't disable native compute in opam.dev file"
This reverts commit b35030760cadd96a968e04f3cd026f4abdc0331c.
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions