diff options
| author |  Joe Banks <[email protected]> | 2024-08-14 20:17:51 +0100 |
|---|---|---|
| committer | Joe Banks <[email protected]> | 2024-08-14 20:17:51 +0100 |
| commit | 6cc7858faa27e1b5c38f0935bcfeee0b3565c1ca (patch) | |
| tree | 8b9393f476558006edee3f25038f48a801aa3c5e /docs | |
| parent | Add builder script for docs (diff) | |
Make docs builder script executable
Diffstat (limited to 'docs')
| -rwxr-xr-x[-rw-r--r--] | docs/builder.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/builder.sh b/docs/builder.sh index 06c5893..06c5893 100644..100755 --- a/docs/builder.sh +++ b/docs/builder.sh |