Changeset c11bcb7 for chapter05/dejagnu.xml
- Timestamp:
- 09/07/2007 07:26:23 PM (17 years ago)
- Children:
- a3e320b9
- Parents:
- 4759793f
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
chapter05/dejagnu.xml
r4759793f rc11bcb7 8 8 <sect1 id="ch-tools-dejagnu" role="wrap"> 9 9 <?dbhtml filename="dejagnu.html"?> 10 11 <sect1info condition="script"> 12 <productname>dejagnu</productname> 13 <productnumber>&dejagnu-version;</productnumber> 14 <address>&dejagnu-url;</address> 15 </sect1info> 10 16 11 17 <title>DejaGNU-&dejagnu-version;</title>
Note:
See TracChangeset
for help on using the changeset viewer.