Code

refactor: remove dummy_impl alias#11354

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/refactor__remove_dummy_impl_aliasocaml/dune:ps/rr/refactor__remove_dummy_impl_aliasCopy head branch name to clipboardJan 19, 2025

+4-6

Commits

Commits on Jan 19, 2025

• refactor: remove dummy_impl alias

  Show description for 5a74020
  rgrinberg

  committed
  5a74020

  Copy full SHA for 5a74020