diff options
| author | Andreas Schwab <schwab@redhat.com> | 2010-02-23 13:20:00 +0100 |
|---|---|---|
| committer | Andreas Schwab <schwab@redhat.com> | 2010-02-23 13:20:43 +0100 |
| commit | 359bd850c51f77f434224b9b2f2baffe5617f4b4 (patch) | |
| tree | f8fe58324192a72f9dfb947e555f5411d416e25e /manual/message.texi | |
| parent | 5abc599d9ea29b8f43dfe67a6409f9cde6a869b4 (diff) | |
| parent | e2f4aa547a997922d960876671fb35ea101295f8 (diff) | |
Merge remote branch 'origin/master' into fedora/master
Diffstat (limited to 'manual/message.texi')
| -rw-r--r-- | manual/message.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/message.texi b/manual/message.texi index e772b2de1f..e44545a311 100644 --- a/manual/message.texi +++ b/manual/message.texi @@ -1466,7 +1466,7 @@ have this problem. But there is a very simple and powerful method to handle these kind of problems with the @code{gettext} functions. @noindent -As as example consider the following fictional situation. A GUI program +As an example consider the following fictional situation. A GUI program has a menu bar with the following entries: @smallexample |