Project

General

Profile

« Previous | Next » 

Revision 029fd57f

ID029fd57f10972a4485334913dd2158b619265507
Parent 782ba91a
Child 4857c483

Added by Arnaud Dieumegard almost 2 years ago

updated repository branch definition in opam config

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences