projects / packages / ddd.git / blame
| Commit | Line | Data |
|---|---|---|
| 7e09b15b TP |
1 | diff -urN ddd-3.3.7.orig/ddd/ddd.texi ddd-3.3.7/ddd/ddd.texi |
| 2 | --- ddd-3.3.7.orig/ddd/ddd.texi 2003-05-24 17:27:08.000000000 +0200 | |
| 3 | +++ ddd-3.3.7/ddd/ddd.texi 2003-08-26 18:49:03.000000000 +0200 | |
| 4 | @@ -96,9 +96,9 @@ | |
| 7cc68d05 JB |
5 | @finalout |
| 6 | ||
| 7 | @c Info Dir settings | |
| 7e09b15b | 8 | -@dircategory Programming & development tools. |
| 076497b8 | 9 | +@dircategory Programming tools: |
| 7cc68d05 | 10 | @direntry |
| 7e09b15b | 11 | -* DDD: (ddd). The Data Display Debugger. |
| 076497b8 | 12 | +* DDD: (ddd). The Data Display Debugger |
| 7cc68d05 JB |
13 | @end direntry |
| 14 | @c %**end of header | |
| 15 | ||
| 7e09b15b TP |
16 | diff -urN ddd-3.3.7.orig/ddd/ddd-themes.texi ddd-3.3.7/ddd/ddd-themes.texi |
| 17 | --- ddd-3.3.7.orig/ddd/ddd-themes.texi 2003-05-24 17:27:06.000000000 +0200 | |
| 18 | +++ ddd-3.3.7/ddd/ddd-themes.texi 2003-08-26 18:48:25.000000000 +0200 | |
| 19 | @@ -83,9 +83,9 @@ | |
| 7cc68d05 JB |
20 | @finalout |
| 21 | ||
| 22 | @c Info Dir settings | |
| 7e09b15b | 23 | -@dircategory Programming & development tools. |
| 076497b8 | 24 | +@dircategory Programming tools: |
| 7cc68d05 | 25 | @direntry |
| 7e09b15b | 26 | -* DDD-Themes: (ddd-themes). Writing DDD Themes. |
| 076497b8 | 27 | +* DDD-Themes: (ddd-themes). Writing DDD Themes |
| 7cc68d05 JB |
28 | @end direntry |
| 29 | @c %**end of header | |
| 30 |