haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #245 from rgrinberg/release-update 

Release update
This commit is contained in:
Rudi Grinberg 2018-07-15 09:13:53 +02:00 committed by GitHub
parent 601973c953 806c05830f
commit e139aa20db
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
CHANGES.md
View File

@ -1,3 +1,10 @@
2.2.0 (2018-07-15)
------------------
* 4.07.0 compatibility (#238, @hcarty)
* Fix compatibility with latest tuareg-mode (#241, @Wilfred)
* Do not expand include directories (#242, @sliquister)
2.1.0 (2018-02-28)
------------------

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)))
(context ((switch 4.06.1)))
(context ((switch 4.07.0)))

2
pkg/pkg.ml
View File

@ -1,2 +0,0 @@
#use "topfind"
#require "topkg-jbuilder.auto"