Merge branch 'maint'

[paraslash.git] / yy / mp.y

diff --git a/yy/mp.y b/yy/mp.y
index 82ef51402fd5da80b523a8d395cea709fb8ffbd8..0f2c9cb8b256a82eeb2fac78114f6026902a24f2 100644 (file)
--- a/yy/mp.y
+++ b/yy/mp.y
@@ -1,8 +1,4 @@
-/*
- * Copyright (C) 2017 Andre Noll <maan@tuebingen.mpg.de>
- *
- * Licensed under the GPL v2. For licencing details see COPYING.
- */
+/* Copyright (C) 2017 Andre Noll <maan@tuebingen.mpg.de>, see file COPYING. */
 
 /*
  * Provide more verbose and specific error messages instead of just "syntax