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 /.gitexcludes | |
| parent | ba497ab995a125c794398e1c211cd5dbd43f062d (diff) | |
| download | dotfiles-ba18a34dff9d2b6cc59a82643b61705b4f9937df.tar.gz dotfiles-ba18a34dff9d2b6cc59a82643b61705b4f9937df.tar.bz2 dotfiles-ba18a34dff9d2b6cc59a82643b61705b4f9937df.zip | |
[zsh] Remove obsolete isabelle functions
Diffstat (limited to '.gitexcludes')
0 files changed, 0 insertions, 0 deletions