Project

General

Profile

« Previous | Next » 

Revision 8658035f

ID8658035f46105e1ae2df6ea09ed26d9cb53b4113
Parent e40fd0dd
Child a5484aa2

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

restricting opam to core install

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences