diff options
author | 2024-08-14 20:18:54 +0100 | |
---|---|---|
committer | 2024-08-14 20:18:54 +0100 | |
commit | eca1db7111b8350e2f0cc945d8fbbbd53156ac3e (patch) | |
tree | d6842a9dcd3cd38bc0cfda84f7d93779e2d7b6fe /server_bootstrap.sh | |
parent | Make docs builder script executable (diff) |
Builder use sh instead of bash
Diffstat (limited to 'server_bootstrap.sh')
0 files changed, 0 insertions, 0 deletions