Workspace of oi-encumbered on encumbered_node

	01-doc.patch	Dec 30, 2024, 12:51:54 PM	1.13 KiB
	02-Makefile_in.patch	Dec 30, 2024, 12:51:54 PM	687 B
	03-test-driver.patch	Dec 30, 2024, 12:51:54 PM	748 B
	04-avoid-R.patch	Dec 30, 2024, 12:51:54 PM	346 B
(all files in zip)