Project

General

Profile

« Previous | Next » 

Revision e40fd0dd

IDe40fd0dda9fc6157ca5fd26f5e87fea106a50bb7
Parent 943dbab3
Child 8658035f

Added by Pierre-Loïc Garoche about 1 month ago

restricting opam to core install

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences