5 Commits

Author	SHA1	Message	Date
Mario Fetka	55a051c9ed	DESTDIR is the correct name	2024-05-27 21:24:26 +02:00
Mario Fetka	211e8efbc2	add DESTDIR install to prospero	2024-05-27 20:18:02 +02:00
Mario Fetka	c13e1f5f73	remove empty and binary files	2024-05-27 17:27:31 +02:00
Mario Fetka	d3589cd843	use same build path way also for prospero	2024-05-27 17:24:46 +02:00
Mario Fetka	d71d446104	Intial commit	2024-05-27 16:13:40 +02:00