windows-devel.rst
changeset 1912 8b81a8f0f692
parent 1905 fba288d59662
child 1968 227261ce4ebb
--- a/windows-devel.rst	Mon Feb 22 13:34:55 2016 +0200
+++ b/windows-devel.rst	Mon Feb 22 13:52:03 2016 +0200
@@ -1,5 +1,4 @@
 .. -*- coding: utf-8; -*-
-.. include:: HEADER.rst
 
 ============================
  Development under Windows.