2 Commits

Author	SHA1	Message	Date
Mario Fetka	5ccc070731	add missing regex	2024-05-28 16:48:29 +02:00
Mario Fetka	211e8efbc2	add DESTDIR install to prospero	2024-05-27 20:18:02 +02:00