[dejagnu] dejagnu.texi re-added (lost during last sources update)

[Jan Horak]

commit 8bce43cc706674e84d0954cc8d5a6fe23250ae31
Author: Honza Horak <hhorak at redhat.com>
Date:   Thu Mar 24 12:47:28 2011 +0100

    dejagnu.texi re-added (lost during last sources update)

 sources |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
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