diff options
Diffstat (limited to 'dev_tools/scripts/doc.sh')
| -rwxr-xr-x | dev_tools/scripts/doc.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/dev_tools/scripts/doc.sh b/dev_tools/scripts/doc.sh deleted file mode 100755 index 5e8a311..0000000 --- a/dev_tools/scripts/doc.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -cargo doc --workspace --no-deps --features builds,structural_renderer,repl,comp,parser,clap,extra_macros --open |