From 1a0228727e6b407a63e0f07786d675e66db8dd5e Mon Sep 17 00:00:00 2001 From: Stefan van der Walt Date: Mon, 5 May 2014 15:35:23 +0200 Subject: [PATCH] Rename heading -> header --- tools/{heading.py => header.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/{heading.py => header.py} (100%) diff --git a/tools/heading.py b/tools/header.py similarity index 100% rename from tools/heading.py rename to tools/header.py