From 6fae25b305d714b3ab7608fa003f1af9bf024545 Mon Sep 17 00:00:00 2001
From: Hsieh Chin Fan <pham@topo.tw>
Date: Tue, 14 Feb 2023 13:33:23 +0800
Subject: Rename tools into bin

---
 tools/task/tkk | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 tools/task/tkk

(limited to 'tools/task')

diff --git a/tools/task/tkk b/tools/task/tkk
deleted file mode 100755
index 148d3f6..0000000
--- a/tools/task/tkk
+++ /dev/null
@@ -1,7 +0,0 @@
-#! /bin/bash
-
-PS1='task '
-while true; do
-  read -r -p 'task ' line </dev/tty;
-  task $line
-done
-- 
cgit v1.2.3-70-g09d2