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/misc/refresh-todo.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100755 tools/misc/refresh-todo.sh

(limited to 'tools/misc/refresh-todo.sh')

diff --git a/tools/misc/refresh-todo.sh b/tools/misc/refresh-todo.sh
deleted file mode 100755
index 7931536..0000000
--- a/tools/misc/refresh-todo.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/bash
-
-# $1 as file, $2 as topic (Daily, Weekly, Monthly)
-# change markdown check-list to empty
-sed -i "/^## $2/,/^$/ s/\[.\]/\[ \]/" $1
-- 
cgit v1.2.3-70-g09d2