Workspace of oi-encumbered on encumbered_node

	01-newgcc.patch	Dec 30, 2024, 12:51:54 PM	378 B
	02-jedit.patch	Dec 30, 2024, 12:51:54 PM	846 B
	04-scripts.patch	Dec 30, 2024, 12:51:54 PM	406 B
(all files in zip)