matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

updated jbuild-workspace.dev

This commit is contained in:
Jeremie Dimino 2017-03-21 15:56:38 +00:00
parent 32ce4f1322
commit 0f5635068f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jbuild-workspace.dev
View File

@ -2,5 +2,5 @@
(context ((switch 4.02.3)))
(context ((switch 4.03.0)))
(context ((switch 4.04.0)))
(context ((switch 4.05.0+beta2)))
(context ((switch 4.05.0+beta3)))
(context ((switch 4.06.0+trunk)))