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

Add a couple of entries to the change log 

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-06-07 21:28:15 +07:00
parent 79b8caf4d2
commit a97d2cfe05
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
CHANGES.md
View File

@ -43,7 +43,7 @@ next
- Add an `ignored_subdirs` stanza to replace `jbuild-ignore` files
(#767, @diml)
- Fix a bug where Dune ignored previous occurences of duplicated
- Fix a bug where Dune ignored previous occurrences of duplicated
fields (#779, @diml)
- Allow setting custom build directories using the `--build-dir` flag or
@ -69,6 +69,12 @@ next
- Fix documentation generation for private libraries. (#864, fix #856,
@rgrinberg)
- Use `Marshal` to store digest and incremental databases. This improves the
speed of 0 rebuilds. (#817, @diml)
* Allow setting environment variables in `findlib.conf` for cross compilation
contexts. (#733, @rgrinberg)
1.0+beta20 (10/04/2018)
-----------------------