From 8bce43cc706674e84d0954cc8d5a6fe23250ae31 Mon Sep 17 00:00:00 2001
From: Honza Horak <hhorak@redhat.com>
Date: Thu, 24 Mar 2011 12:47:28 +0100
Subject: [PATCH] dejagnu.texi re-added (lost during last sources update)

---
 sources | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sources b/sources
index f0a5687..c42e48a 100644
--- a/sources
+++ b/sources
@@ -1 +1,2 @@
 3df1cbca885e751e22d3ebd1ac64dc3c  dejagnu-1.5.tar.gz
+d70aca4d793a8fbdd6906b8ac5333195  dejagnu.texi