GeopJr 843ef66728 fix: letterpress icons names (#1042)		2022-04-19 20:35:22 +02:00
..
resources	Fix icons (#734)	2021-06-06 09:03:25 -07:00
src/vs/workbench/browser	fix: letterpress icons names (#1042)	2022-04-19 20:35:22 +02:00