diff options
| author | Paul Iannetta <paul.iannetta@ens-lyon.fr> | 2022-04-21 23:55:52 +0200 |
|---|---|---|
| committer | Paul Iannetta <paul.iannetta@ens-lyon.fr> | 2022-04-22 08:24:15 +0200 |
| commit | c86932296809fb0b9dec4af024869a0648ac8ffd (patch) | |
| tree | c07914419e289b0f1488f2322e31e459ef4a3b7f /.config/zsh/rc/opam.rc | |
| parent | e83c4515e0179221e7315abb606452ab2f7b561d (diff) | |
update zsh conf
Diffstat (limited to '.config/zsh/rc/opam.rc')
| -rwxr-xr-x | .config/zsh/rc/opam.rc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.config/zsh/rc/opam.rc b/.config/zsh/rc/opam.rc index b25377c..58230b3 100755 --- a/.config/zsh/rc/opam.rc +++ b/.config/zsh/rc/opam.rc @@ -1,4 +1,4 @@ - +# vim: ft=zsh # OPAM configuration . /home/paul/.opam/opam-init/init.zsh > /dev/null 2> /dev/null || true |