Workspace of oi-encumbered on encumbered_node

	01-arial.patch	Dec 30, 2024, 12:51:54 PM	658 B
	03-egrep.patch	Jul 29, 2025, 9:11:06 PM	994 B
	04-watchpoints.dem.patch	Jul 29, 2025, 9:11:06 PM	735 B
(all files in zip)