Code

Don't use strings to represent paths#722

Code

Merged

W95Psp merged 1 commit intohacspec:mainhacspec/hax:mainfrom Nadrieril:paths-arent-stringsNadrieril/hax:paths-arent-stringsCopy head branch name to clipboardJun 17, 2024

+6-10

Commits

Commits on Jun 17, 2024

• Don't use strings to represent paths

  Nadrieril

  committed
  c15e742