mirror of
https://github.com/AdaCore/gpr.git
synced 2026-02-12 12:58:39 -08:00
11 lines
127 B
Plaintext
11 lines
127 B
Plaintext
Demo1 K_STANDARD
|
|
|
|
Demo2 K_STANDARD
|
|
obj
|
|
Demo3 K_STANDARD
|
|
exec
|
|
Demo4 K_STANDARD
|
|
exec4
|
|
Demo1 K_STANDARD
|
|
experiment
|