# HG changeset patch
# User ib
# Date 1354491991 0
# Node ID 49f29de2ff107f67e9c497f71abac80a2bf2622c
# Parent  e53785e5205bdd01ffff847e33f8ccb9e26709c8
Cosmetic: Place doxygen note at the end of the comment.

diff -r e53785e5205b -r 49f29de2ff10 gui/util/string.c
--- a/gui/util/string.c	Sun Dec 02 23:25:20 2012 +0000
+++ b/gui/util/string.c	Sun Dec 02 23:46:31 2012 +0000
@@ -213,10 +213,10 @@
  *
  *        The string is duplicated by calling #gstrdup().
  *
- * @note @a *old is freed prior to the assignment.
- *
  * @param old pointer to a variable suitable to store the new pointer
  * @param str string to be duplicated
+ *
+ * @note @a *old is freed prior to the assignment.
  */
 void setdup(char **old, const char *str)
 {
@@ -228,11 +228,11 @@
  * @brief Assign a newly allocated string
  *        containing the path created from a directory and a filename.
  *
- * @note @a *old is freed prior to the assignment.
- *
  * @param old pointer to a variable suitable to store the new pointer
  * @param dir directory
  * @param name filename
+ *
+ * @note @a *old is freed prior to the assignment.
  */
 void setddup(char **old, const char *dir, const char *name)
 {
@@ -331,13 +331,13 @@
 /**
  * @brief Read characters from @a file.
  *
- * @note Reading stops with an end-of-line character or at end of file.
- *
  * @param str pointer to a buffer to receive the read characters
  * @param size number of characters read at the most (including a terminating null-character)
  * @param file file to read from
  *
  * @return str (success) or NULL (error)
+ *
+ * @note Reading stops with an end-of-line character or at end of file.
  */
 char *fgetstr(char *str, int size, FILE *file)
 {