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

	Name	Last modified	Size	Description
	Parent Directory		-
	README.txt	2025-08-21 13:31	51
	vscode/	2025-08-21 13:31	-

rename vscode to .vscode and add it to your project