We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0d6f042 commit 93584deCopy full SHA for 93584de
CHANGES.md
@@ -1,4 +1,4 @@
1
-## unreleased
+## 0.2.6
2
3
### Added
4
@@ -7,19 +7,11 @@
7
- Add the `--keep-git-dir` flag to the `pull` command that can be used to keep
8
the [.git] directory after pulling the vendored sources. (#160, @rizo)
9
10
-### Changed
11
-
12
-### Deprecated
13
14
### Fixed
15
16
- Fix tool name in generated dune file so that it does not refer to the tool as
17
`duniverse` (#206, @emillon)
18
19
-### Removed
20
21
-### Security
22
23
## 0.2.5
24
25
0 commit comments