diff options
| author | 2026-01-18 22:53:38 +0100 | |
|---|---|---|
| committer | 2026-01-18 22:53:38 +0100 | |
| commit | c724ff4b58493fe0099aece4aa650f0dd91187a4 (patch) | |
| tree | 5136fb5756d2062002870dcaec9716e06ff62c16 /dot_config/private_fish/conf.d/ocaml.fish | |
| parent | sh: major update to xdg (diff) | |
fish: remove old xdg stuff
Diffstat (limited to '')
| -rw-r--r-- | dot_config/private_fish/conf.d/ocaml.fish | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/dot_config/private_fish/conf.d/ocaml.fish b/dot_config/private_fish/conf.d/ocaml.fish deleted file mode 100644 index 11817df..0000000 --- a/dot_config/private_fish/conf.d/ocaml.fish +++ /dev/null @@ -1,6 +0,0 @@ -set -Uuq OPAMROOT || set -Uu OPAMROOT ~/.local/ocaml -setux OPAMROOT - -test -r $OPAMROOT/opam-init/init.fish -and source $OPAMROOT/opam-init/init.fish >/dev/null 2>/dev/null -or true |
