remove dist-config - which was too specific for my case
authorJoerg Jaspert <joerg@debian.org>
Sat, 20 Apr 2013 23:17:19 +0000 (01:17 +0200)
committerJoerg Jaspert <joerg@debian.org>
Sat, 20 Apr 2013 23:17:19 +0000 (01:17 +0200)
commitec7f220df83cad2e5f06413bc77d8db68fb3505f
treec1ef58208cbb1315ab518b2904344e993e6856dc
parent45a5b434ce32eeb304afb24c415078e372b9c311
remove dist-config - which was too specific for my case
.zsh/functions/dist-config [deleted file]