Add GPL note to Python server.

diff --git a/plomrogue-server.py b/plomrogue-server.py
index 77c19acd498326b49f9796c43b7a7b9ad7fc215e..56e8faaeb0f91e86a104476188d01afbc1750a59 100755 (executable)
--- a/plomrogue-server.py
+++ b/plomrogue-server.py
@@ -1,4 +1,10 @@
 #!/usr/bin/python3
+
+# This file is part of PlomRogue. PlomRogue is licensed under the GPL version 3
+# or any later version. For details on its copyright, license, and warranties,
+# see the file NOTICE in the root directory of the PlomRogue source package.
+
+
 import argparse
 import errno
 import os