Revision e40fd0dd
restricting opam to core install
Files
- added
- modified
- copied
- renamed
- deleted
ID | e40fd0dda9fc6157ca5fd26f5e87fea106a50bb7 |
Parent | 943dbab3 |
Child | 8658035f |
Added by Pierre-Loïc Garoche 5 months ago
restricting opam to core install