From 4807b7507121dceb0bbdea483256cb616e9b1fb8 Mon Sep 17 00:00:00 2001
From: short <>
Date: Tue, 10 Jul 2001 18:30:22 +0000
Subject: [PATCH] obsolete, replaced by CVS

---
 bin/distini | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100755 bin/distini

diff --git a/bin/distini b/bin/distini
deleted file mode 100755
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
-- 
1.8.3.1