Code

Fix #3636#5150

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/refactor__cosmetic_changes_in_install_rulesocaml/dune:ps/rr/refactor__cosmetic_changes_in_install_rulesCopy head branch name to clipboardNov 12, 2021

+20-26

Commits

Commits on Nov 12, 2021

• refactor: cosmetic changes in install_rules

  Show description for 07c155d
  rgrinberg

  committed
  07c155d

  Copy full SHA for 07c155d