From 6661ab02f6c0bcc05866c17bc6d5ae66c855b794 Mon Sep 17 00:00:00 2001
From: Aria Shrimpton <me@aria.rip>
Date: Mon, 1 Apr 2024 19:12:57 +0100
Subject: remove unused scripts

---
 src/scripts/b_des_con_9.sh | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 src/scripts/b_des_con_9.sh

(limited to 'src/scripts/b_des_con_9.sh')

diff --git a/src/scripts/b_des_con_9.sh b/src/scripts/b_des_con_9.sh
deleted file mode 100755
index 1d34895..0000000
--- a/src/scripts/b_des_con_9.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-TIMEFORMAT='
-semantic property: descending
-syntactic property: Container
-search time: %R seconds
-'
-time {
-cargo run b_des_con.rs gen_des_con 9
-}
-- 
cgit v1.2.3