Server: Remove log_help(), this should be serverd by the client.

[plomrogue] / build / default.o.do

diff --git a/build/default.o.do b/build/default.o.do
index d6a4b91b878acc5ee578b686019b5ec67cba4096..be2bb9d49e33ff9e1921acf39a65c55291fc95e2 100644 (file)
--- a/build/default.o.do
+++ b/build/default.o.do
@@ -1,3 +1,7 @@
+# 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.
+
 redo-ifchange compiler_flags
 . ./compiler_flags
 file=${1#build/}