From a3353c662b109f52c4cf1734484e4dcfe716f12b Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 5 Feb 2016 17:39:14 +0000
Subject: [PATCH] commitid.scad.pl: Rename Tiny to Small

---
 commitid.scad.pl | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/commitid.scad.pl b/commitid.scad.pl
index 7d13fb2..ff36341 100755
--- a/commitid.scad.pl
+++ b/commitid.scad.pl
@@ -52,25 +52,25 @@ $SIG{__WARN__} = sub { die @_; };
 #
 # We can generate these forms:
 #
-#   Tiny3:
-#   Tiny4:
-#   Tiny5:
-#   Tiny6:
-#   Tiny7:
-#   Tiny8:
+#   Small3:
+#   Small4:
+#   Small5:
+#   Small6:
+#   Small7:
+#   Small8:
 #       git rev-list --first-parent --count HEAD
 #       typically 3-4 characters but we allow for up to 6
 #       padded with zeroes; if too long we reduce mod 10^n
 #       eg
-#            Tiny4    1070
+#            Small4    1070
 #       If tree is dirty, + or * is suffixed, reducing number of
 #       digits by 1.
 #
-#   Tiny4Q:
-#   Tiny6Q:
-#   Tiny9Q:
+#   Small4Q:
+#   Small6Q:
+#   Small9Q:
 #       same but in two lines eg
-#            Tiny4Q   10
+#            Small4Q  10
 #                     70
 #
 #   Git4   Git4Q
@@ -307,7 +307,7 @@ sub do_git () {
     }
 
     foreach my $sz (3..8) {
-	gentextmodule_plusq("Tiny$sz", rjustt($sz, $git_count.$git_dirty))
+	gentextmodule_plusq("Small$sz", rjustt($sz, $git_count.$git_dirty))
 	    if defined $git_count;
 
 	gentextmodule_plusq("Git$sz", ljustt($sz, $git_object, $git_dirty))
-- 
2.30.2