summaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@vyos.io>2024-08-01 14:54:25 -0400
committerDaniil Baturin <daniil@vyos.io>2024-08-01 14:54:25 -0400
commit82bb974201c00a2ceb0f8b817059a5cbde8083ed (patch)
tree58804da627e86f134688316e0d0de9b95f36e96e /dune-project
parentb5a771adb7419b16f405055f21c24287c4c868fa (diff)
downloaduncron-82bb974201c00a2ceb0f8b817059a5cbde8083ed.tar.gz
uncron-82bb974201c00a2ceb0f8b817059a5cbde8083ed.zip
Add an option to build a static executable
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions