John Schneiderman 586fab6b6b Changes to use a top-level variable for the Oscar compiler uses.		2024-08-07 21:24:40 +02:00
..
makefile	Changes to use a top-level variable for the Oscar compiler uses.	2024-08-07 21:24:40 +02:00