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

Update workspace for 4.06.0 and 4.07.0+trunk

This commit is contained in:
Rudi Grinberg 2017-11-06 17:08:25 +08:00
parent 589b79ae28
commit d555591820
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
jbuild-workspace.dev
View File

@ -3,4 +3,5 @@
(context ((switch 4.03.0)))
(context ((switch 4.04.2)))
(context ((switch 4.05.0)))
(context ((switch 4.06.0+trunk)))
(context ((switch 4.06.0)))
(context ((switch 4.07.0+trunk)))