Update changelog
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
This commit is contained in:
parent
80c2d61416
commit
9a9445325d
|
@ -93,6 +93,8 @@ next
|
|||
|
||||
- Make `dev` the default build profile (#920, @diml)
|
||||
|
||||
- Version `dune-workspace` and `~/.config/dune/config` files (#..., @diml)
|
||||
|
||||
1.0+beta20 (10/04/2018)
|
||||
-----------------------
|
||||
|
||||
|
|
Loading…
Reference in New Issue