This website requires JavaScript.
Explore
Help
Sign In
matthieu
/
dune
Watch
1
Star
0
Fork
You've already forked dune
0
Code
Issues
Pull Requests
Releases
Wiki
Activity
acb54677d4
dune
/
.gitignore
6 lines
42 B
Plaintext
Raw
Normal View
History
Unescape
Escape
Revert "Rename _build to _jbuild (#13)" This reverts commit 89c15ca2c5cc1b8f1b901d3c1e980eb9ee8b0ecf. Keep _build as the build directory until we get a better consensus.
2017-03-01 16:09:02 +00:00
_build
114.20+69
2016-12-02 13:54:32 +00:00
*.install
114.20+69
2016-12-15 16:54:46 +00:00
boot.exe
Automatically generate .merlin file (#2)
2017-02-25 13:53:37 +00:00
.merlin
Execute preprocess commands using the system shell
2017-02-28 10:32:57 +00:00
boot.ml