diff options
Diffstat (limited to 'man/gnu.texi')
| -rw-r--r-- | man/gnu.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/gnu.texi b/man/gnu.texi index e8b3bc482d4..4185f8f9114 100644 --- a/man/gnu.texi +++ b/man/gnu.texi @@ -542,3 +542,7 @@ this are bureaucracy and isometric struggles against competition. Free software will greatly reduce these drains in the area of software production. We must do this, in order for technical gains in productivity to translate into less work for us. + +@ignore + arch-tag: 21eb38f8-6fa0-480a-91cd-f3dab7148542 +@end ignore |