commit | 94c1e66e73c2c3abce7436db72d30e65fe234a47 | [log] [tgz] |
---|---|---|
author | Marcel <maleo@google.com> | Wed Aug 20 12:56:40 2025 +0200 |
committer | GitHub <noreply@github.com> | Wed Aug 20 12:56:40 2025 +0200 |
tree | 1ce85e863a9c4dc46ae790c34d369035bd7ba9c9 | |
parent | e6d845428779b1e5ebb9971451ed3c43c865fc0b [diff] |
Use launcher wrapper to initialize runfiles (#38) This avoid the need to copy&paste the verbose initialization snippet into every script. This should resolve the issues raised in #24. --------- Co-authored-by: Fabian Meumertzheim <fabian@meumertzhe.im>