Mario Fetka
|
291be1735f
|
no need for generation
|
2024-05-27 22:06:43 +02:00 |
|
Mario Fetka
|
55a051c9ed
|
DESTDIR is the correct name
|
2024-05-27 21:24:26 +02:00 |
|
Mario Fetka
|
8556f8d8ee
|
missed one entrie for DISTDIR
|
2024-05-27 21:00:11 +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 |
|