Index of /~TDDB68/slides/lecture2/2023/pintos-debug-vscode

	Name	Last modified	Size	Description
	Parent Directory		-
	README.txt	2025-01-24 15:18	51
	vscode/	2025-01-24 15:18	-

rename vscode to .vscode and add it to your project