likwid/scripts
Marco Allegretti 53b40d6639 repo, scripts: modify 1 file, delete 1 file
Verified changes:
- modify .gitignore
- delete scripts/.dev/state.json

Diffstat:
- 2 files changed, 7 insertions(+), 5 deletions(-)
2026-01-29 00:18:28 +01:00
..
demo-reset.ps1 .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
demo-reset.sh .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
dev-start.ps1 .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
dev-start.sh .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
dev-stop.ps1 .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
dev-stop.sh .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
dev-test.ps1 .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
dev.ps1 .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
dev.sh .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
post-reboot-setup.ps1 .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00
prepare-production.ps1 .dev, repo, backend, +4: add 483 files 2026-01-27 17:21:58 +01:00