all: dune build release: dune build --profile=release serve: cd _build/default && python3 -m http.server 5000 clean: dune clean ript>
aboutsummaryrefslogtreecommitdiff
path: root/elements/dune
blob: 755bd0521a6bf215ea3f1cd31ec3695d78275d34 (plain) 
1
2
3
4
5
6
7