Live on the diff-merge branch, not on HEAD.

[gnulib.git] / lib / diffseq.h

diff --git a/lib/diffseq.h b/lib/diffseq.h
deleted file mode 100644 (file)
index e69de29..0000000