obsolete, replaced by CVS

diff --git a/bin/distini b/bin/distini
deleted file mode 100755 (executable)
index b3359c6..0000000
--- a/bin/distini
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh
-for i in \
- atrey.karlin.mff.cuni.cz \
- k332.feld.cvut.cz \
- ulab-1.ms.mff.cuni.cz \
- gate.ericsson.cz \
- alcor.ericsson.cz \
- gps.geoinvest.cz \
-;do if [ "`hostname -f`" \!= $i ];then
- echo -n $i
- scp ~/.bashrc ~/.profile ~/.muttrc $i:
- echo -n .
- scp ~/.ssh/config ~/.ssh/authorized_keys $i:.ssh/
- echo -n .
- scp ~/bin/distini $i:bin/
- echo
-fi;done