drom icon indicating copy to clipboard operation
drom copied to clipboard

Dromatization of non-drom projects

Open hra687261 opened this issue 2 years ago • 0 comments

It would be great to have a drom dromatize . command that would dromatize a dune/Makefile project in a minimalist way, aka by adding only the necessary files, getting the necessary information from the opam and dune files and not modifying the already existing files.

hra687261 avatar Apr 29 '23 11:04 hra687261