diff -r 377edad75934 -r 9f66fe44239c ha-diff
--- a/ha-diff	Wed Nov 30 16:19:44 2011 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,17 +0,0 @@
-#! /usr/bin/perl
-# ha-diff [diff-options] <other> file
-use strict;
-use warnings;
-use Cwd qw(abs_path);
-
-die "bad usage" if @ARGV < 2;
-
-my $file = pop @ARGV;
-my $other = pop @ARGV;
-
-$file = abs_path($file) if not $file =~ /^\//;
-push @ARGV, "-u" if (not @ARGV);
-
-system qq{/bin/bash -c "diff @ARGV --label other <(ssh $other cat '$file') '$file'"};
-system qq{/bin/bash -c "diff @ARGV --label other --label local <(ssh $other stat '$file') <(stat '$file')"}
-	if $? == 0;