diff options
Diffstat (limited to 'org/config_env.org')
| -rw-r--r-- | org/config_env.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org/config_env.org b/org/config_env.org index fa26a72..15d600b 100644 --- a/org/config_env.org +++ b/org/config_env.org @@ -83,7 +83,7 @@ direnv fetchurl https://raw.githubusercontent.com/nix-community/nix-direnv/${Nix - bespoke modify appropriately and generate if needed -#+HEADER: :tangle ../.envrc-local_ +#+HEADER: :tangle ../.envrc-local #+HEADER: :noweb yes #+BEGIN_SRC sh export DFLAGS="-O2 -inline -boundscheck=on -color=on" |