From 6513755670892983db88a6633b8c1ea6019c03d1 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Fri, 15 Nov 2024 14:55:37 -0500
Subject: Re-namespace some stuff to Omni

I was getting confused about what is a product and what is internal
infrastructure; I think it is good to keep those things separate. So I moved a
bunch of stuff to an Omni namespace, actually most stuff went there. Only things
that are explicitly external products are still in the Biz namespace.
---
 Biz/Ide/version.sh | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 Biz/Ide/version.sh

(limited to 'Biz/Ide/version.sh')

diff --git a/Biz/Ide/version.sh b/Biz/Ide/version.sh
deleted file mode 100755
index 60f9c91..0000000
--- a/Biz/Ide/version.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/usr/bin/env bash
-#
-# simple implementation of kelvin versioning
-##
-  ns=$1
-  if [[ -e "$1" ]]; then
-    commits=$(git log --oneline --follow "$ns" | wc -l)
-    # gold melts at 1337 kelvin, so we start with this
-    # bc we are forging gold here
-    version=$(bc -l <<< "1337 - $commits")
-    echo "$version"
-  else
-    echo -1  # signal that file doesn't exist
-  fi
-##
-- 
cgit v1.2.3