diff options
author | Christian Grothoff <christian@grothoff.org> | 2022-10-24 09:04:59 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2022-10-24 09:04:59 +0200 |
commit | 82ba0d60eb4868b605dc596a8fa46838e1cc766e (patch) | |
tree | bdf625e45be7f92685c0491711a5b5e02841103a /po/insert-header.sin | |
parent | 4e8db942034383e0d03f71f2673385f4a669673d (diff) | |
download | gnunet-ext-82ba0d60eb4868b605dc596a8fa46838e1cc766e.tar.gz gnunet-ext-82ba0d60eb4868b605dc596a8fa46838e1cc766e.zip |
-update autotools/gettext
Diffstat (limited to 'po/insert-header.sin')
-rw-r--r-- | po/insert-header.sin | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/po/insert-header.sin b/po/insert-header.sin index b26de01..ceeebb9 100644 --- a/po/insert-header.sin +++ b/po/insert-header.sin | |||
@@ -1,5 +1,10 @@ | |||
1 | # Sed script that inserts the file called HEADER before the header entry. | 1 | # Sed script that inserts the file called HEADER before the header entry. |
2 | # | 2 | # |
3 | # Copyright (C) 2001 Free Software Foundation, Inc. | ||
4 | # Written by Bruno Haible <bruno@clisp.org>, 2001. | ||
5 | # This file is free software; the Free Software Foundation gives | ||
6 | # unlimited permission to use, copy, distribute, and modify it. | ||
7 | # | ||
3 | # At each occurrence of a line starting with "msgid ", we execute the following | 8 | # At each occurrence of a line starting with "msgid ", we execute the following |
4 | # commands. At the first occurrence, insert the file. At the following | 9 | # commands. At the first occurrence, insert the file. At the following |
5 | # occurrences, do nothing. The distinction between the first and the following | 10 | # occurrences, do nothing. The distinction between the first and the following |