Anri/pusk
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages 1 Wiki Activity Actions
pusk/bin/dune

5 lines
64 B
Text
Raw Normal View History

dune init
2023-05-12 08:30:56 +02:00
(executable
(public_name pusk)
(name main)
use only pusk lib
2023-05-13 18:03:30 +02:00
(libraries pusk))
Reference in a new issue Copy permalink