# HG changeset patch
# User Hans-G?nter Theisgen
# Date 1493907116 -3600
# Node ID 37faa9113e424fa0880c4464be4e5cfe562b9d22
# Parent  4bde3e047de4aa43e514885acd4fa75b73d08fd6
inserted missing dot

diff -r 4bde3e047de4 -r 37faa9113e42 de/news/2012.php
--- a/de/news/2012.php	Thu May 04 14:20:07 2017 +0100
+++ b/de/news/2012.php	Thu May 04 15:11:56 2017 +0100
@@ -12,7 +12,7 @@
 
 <?php
 include("../../config.php");
-include("../../lib/html/header.dehtml");
+include("../../lib/html/header.de.html");
 include("../../lib/html/nav.de.html"); 
 include("../../lib/lang.php"); 
 ?>