John Schneiderman fb5b69ae5c Changes to use commands from variables.		2024-08-04 17:32:13 +02:00
..
makefile	Changes to use commands from variables.	2024-08-04 17:32:13 +02:00