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
13c12e9def
dune
/
example
/
sample-projects
History
Rudi Grinberg
a317fb0606
Rename %{@} to %{targets}
...
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2018-07-06 18:45:43 +07:00
..
hello_world
Rename %{@} to %{targets}
2018-07-06 18:45:43 +07:00
with-configure-step
Rename %{@} to %{targets}
2018-07-06 18:45:43 +07:00