From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 4 Jul 2020 06:38:33 +0000 (+0200)
Subject: Conform to GNU nomenclature.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8065e06f47c5b34ce2d4769324e56c5f3191391c;p=pspp

Conform to GNU nomenclature.
---

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 9ca6d3836d..51d225765c 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -281,7 +281,7 @@ on_open (GApplication *app, GFile **files, gint n_files, gchar * hint,
          gpointer ud)
 {
   /* If the application is already open and we open another file
-     via xdg-open on linux or via the file manager, then open is
+     via xdg-open on GNU/Linux or via the file manager, then open is
      called. Check if we already have a psppire window. */
   if (find_psppire_window (app) == NULL)
     post_initialise (app);