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
7820e29d28
dune
/
vendor
/
re
History
Jérémie Dimino
239ff0054e
Remove jbuilder_ prefix for vendored libraries (
#720
)
...
It's not useful since we are not installing them. Also unwrap libraries that are unwrapped upstream.
2018-04-24 14:38:30 +01:00
..
src
Remove jbuilder_ prefix for vendored libraries (
#720
)
2018-04-24 14:38:30 +01:00
LICENSE
moved cmdliner and re to vendor/
2017-02-21 15:09:58 +00:00