diff gui/win32/interface.c @ 37065:b28b632efeef

Cosmetic: Revise a few comments.

--- a/gui/win32/interface.c	Thu Apr 24 06:42:02 2014 +0000
+++ b/gui/win32/interface.c	Thu Apr 24 11:31:31 2014 +0000
@@ -93,9 +93,9 @@
 /**
  * @brief Convert a Windows style path to a file name into an Unix style one.
  *
- * @param filename pointer to the file path to be converted
+ * @param filename file path string to be converted
  *
- * @return pointer to the converted file path
+ * @return converted file path string
  */
 static char *unix_name (char *win_filename)
 {
@@ -129,9 +129,9 @@
 /**
  * @brief Convert a Windows style device name into an Unix style one.
  *
- * @param device pointer to the device name to be converted
+ * @param device device name to be converted
  *
- * @return pointer to the converted device name
+ * @return converted device name
  */
 static char *unix_device (char *device)
 {