bench.mk
|
split makefile into multiple scripts
|
2022-08-23 09:42:25 +02:00 |
binaries.mk
|
rename repository and executable (#1641)
|
2023-04-01 19:52:06 +02:00 |
dockerhub.mk
|
rename repository and executable (#1641)
|
2023-04-01 19:52:06 +02:00 |
format.mk
|
split makefile into multiple scripts
|
2022-08-23 09:42:25 +02:00 |
lint.mk
|
split makefile into multiple scripts
|
2022-08-23 09:42:25 +02:00 |
mod-tidy.mk
|
simplify make mod-tidy (#1592)
|
2023-03-23 11:30:10 +01:00 |
run.mk
|
change name of configuration file (#1640)
|
2023-04-01 19:32:10 +02:00 |