Mario Fetka
|
f0e8391a1c
|
no need to install
|
2024-05-27 23:00:39 +02:00 |
|
Mario Fetka
|
59740d49e6
|
remove GENERATION
|
2024-05-27 22:29:49 +02:00 |
|
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 |
|