summaryrefslogtreecommitdiff
path: root/packaging/debian-docker/run.sh
AgeCommit message (Expand)Author
2024-04-21rename festChristian Grothoff
2024-04-09packaging fixesChristian Grothoff
2023-12-07work around docker perf bugFlorian Dold
2022-10-20work on docker scriptsChristian Grothoff
2022-09-24get run.sh script to work againChristian Grothoff
2022-09-24-work on auto-packaging for DebianChristian Grothoff