Age | Commit message (Expand) | Author |
---|---|---|
2024-04-21 | rename fest | Christian Grothoff |
2024-04-09 | packaging fixes | Christian Grothoff |
2023-12-07 | work around docker perf bug | Florian Dold |
2022-10-20 | work on docker scripts | Christian Grothoff |
2022-09-24 | get run.sh script to work again | Christian Grothoff |
2022-09-24 | -work on auto-packaging for Debian | Christian Grothoff |