build.sh
|
Move to uppercase options
|
2024-02-19 02:23:55 +01:00 |
build_and_upload_image.sh
|
Fix script
|
2021-12-31 06:29:07 +01:00 |
build_docs.sh
|
Move to uppercase options
|
2024-02-19 02:23:55 +01:00 |
build_prod.sh
|
Move to uppercase options
|
2024-02-19 02:23:55 +01:00 |
check_format.sh
|
use the base image instead
|
2023-12-13 01:20:04 +01:00 |
cpp_check.sh
|
Fix info or suppress
|
2024-06-29 21:53:08 +02:00 |
create_release_links.sh
|
Build our own source archive
|
2024-02-11 20:06:05 +01:00 |
fix_format.sh
|
use the base image instead
|
2023-12-13 01:20:04 +01:00 |
generate_gif.sh
|
Updated winegui gif
|
2024-02-26 01:21:04 +01:00 |
valgrind.sh
|
Include valgrind
|
2022-05-29 17:11:44 +02:00 |
valgrind_plot.sh
|
Include valgrind
|
2022-05-29 17:11:44 +02:00 |