package dune-rpc
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.20.1.tbz
sha256=f08e95de2828e891d68906e4430b5117032285207b5bc684fc5d45652eb30e0a
sha512=a45eb69c773396285f3785a1c2edb4644e376c02053ff23cbc39dd2244c9e99527bdaed34b10ad8a0f50a143ce22777a76a0cd19f3a2d313cea9560986fa6bb9
doc/dune-rpc.private/Dune_rpc_private/Files_to_promote/index.html
Module Dune_rpc_private.Files_to_promoteSource
Describe what files should be promoted. The second argument of These is a function that is called on files that cannot be promoted.