Code

refactor: remove Modules.is_empty#6564

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/refactor__remove_modules_is_emptyocaml/dune:ps/rr/refactor__remove_modules_is_emptyCopy head branch name to clipboardNov 24, 2022

-9

Commits

Commits on Nov 24, 2022

• refactor: remove Modules.is_empty

  Show description for db921fc
  rgrinberg

  committed
  db921fc

  Copy full SHA for db921fc