Skip to content

src: Fix VS code config to match Makefile#3673

Merged
mtzguido merged 1 commit intoFStarLang:masterfrom mtzguido:fixvscodeJan 11, 2025

Commits

Commits on Jan 10, 2025