From 75007b20b4071ad4c6f7168b98c3218739693769 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 15 Jan 2015 16:08:03 -0800 Subject: Re-added tools/{makespec.py, template.html, template.tex}. These were inadvertently dropped in the commit that described them as being moved to tools/. --- tools/mkcasefold.pl | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/mkcasefold.pl (limited to 'tools/mkcasefold.pl') diff --git a/tools/mkcasefold.pl b/tools/mkcasefold.pl old mode 100644 new mode 100755 -- cgit v1.2.3