Gitify the working tree.
[profile.git] / opt / bin / kill_known_host
similarity index 99%
rename from kill_known_host
rename to opt/bin/kill_known_host
index 46dbb83..b7c0d08 100755 (executable)
@@ -1,7 +1,5 @@
 #!/usr/bin/perl
 #
-# $Id$
-#
 # kill_known_host: Remove an entry from the ssh hosts file.
 # Usage: kill_known_host [options] <IP>|<hostname>
 # Options: -n   Only report key; don't delete it.