diff options
| author | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-08-26 10:18:49 -0400 |
|---|---|---|
| committer | Brad Lewis <22850972+BradLewis@users.noreply.github.com> | 2025-08-26 10:19:59 -0400 |
| commit | 74ea70325e4daca321a0932828f236ea8c77f2ec (patch) | |
| tree | 5254890d82c96acb369d17006467b38af8e16b04 /odinfmt.sh | |
| parent | dcf0ee2a22e655fe918f58f13eefb6cf240baecc (diff) | |
Add option to disable document links
Diffstat (limited to 'odinfmt.sh')
| -rwxr-xr-x | odinfmt.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ #!/usr/bin/env bash -odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt -o:speed +odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt -o:none |