Code

Uniformize Dolmen alias modules#1257

Code

Closed

Halbaroth wants to merge 1 commit intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:dolmen-aliasesHalbaroth/alt-ergo:dolmen-aliasesCopy head branch name to clipboard

+76-60

Commits

Commits on Oct 9, 2024

• Uniformize Dolmen alias modules

  Show description for 328fe3d
  Halbaroth

  committed
  328fe3d

  Copy full SHA for 328fe3d