Revision 029fd57f
updated repository branch definition in opam config
Files
- added
- modified
- copied
- renamed
- deleted
ID | 029fd57f10972a4485334913dd2158b619265507 |
Parent | 782ba91a |
Child | 4857c483 |
Added by Arnaud Dieumegard over 2 years ago
updated repository branch definition in opam config