Skip to content

Makefile: remove -T on install usage#3008

Merged
mtzguido merged 1 commit intoFStarLang:masterfrom mtzguido:fix-install-tAug 4, 2023

Commits

Commits on Aug 4, 2023