diff options
author | René 'Necoro' Neumann <necoro@necoro.eu> | 2018-06-10 17:36:54 +0200 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.eu> | 2018-06-10 17:36:55 +0200 |
commit | ba18a34dff9d2b6cc59a82643b61705b4f9937df (patch) | |
tree | 1bcfc22f6aa9631def1e822726f3077dfcc743c8 /.zsh/functions/IJ | |
parent | ba497ab995a125c794398e1c211cd5dbd43f062d (diff) | |
download | dotfiles-ba18a34dff9d2b6cc59a82643b61705b4f9937df.tar.gz dotfiles-ba18a34dff9d2b6cc59a82643b61705b4f9937df.tar.bz2 dotfiles-ba18a34dff9d2b6cc59a82643b61705b4f9937df.zip |
[zsh] Remove obsolete isabelle functions
Diffstat (limited to '')
l--------- | .zsh/functions/IJ | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.zsh/functions/IJ b/.zsh/functions/IJ deleted file mode 120000 index ae92333..0000000 --- a/.zsh/functions/IJ +++ /dev/null @@ -1 +0,0 @@ -IE
\ No newline at end of file |