Index of /plugins_public/theia-sticky-sidebar

	Name	Last modified	Size	Description
	Parent Directory		-
	LICENSE.txt	2023-05-22 10:04	1.1K
	ResizeSensor.min.js	2023-05-22 10:04	2.2K
	theia-sticky-sidebar.min.js	2023-05-22 10:04	5.3K