From bcdede09d603df519c00548d0cc23640dd32af6b Mon Sep 17 00:00:00 2001 From: Julgodis <> Date: Sun, 28 Mar 2021 23:54:55 +0200 Subject: [PATCH] move tp from tools --- tp | 3 +++ 1 file changed, 3 insertions(+) create mode 100755 tp diff --git a/tp b/tp new file mode 100755 index 0000000000..225e621e81 --- /dev/null +++ b/tp @@ -0,0 +1,3 @@ +#!/bin/bash + +python3 tools/tp.py "$@"