Code

ignore relative paths in PATH#7282

Code

Closed

Alizter wants to merge 1 commit intoocaml:mainocaml/dune:mainfrom Alizter:ps/rr/ignore_relative_paths_in_pathAlizter/dune:ps/rr/ignore_relative_paths_in_pathCopy head branch name to clipboard

+3-1

Commits

Commits on Mar 11, 2023

• ignore relative paths in PATH

  Show description for b29d82e
  Alizter

  committed
  b29d82e

  Copy full SHA for b29d82e