From c6c405e457377cc30f7b6ef2b3aa730af0bff845 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 00000000000..225e621e817 --- /dev/null +++ b/tp @@ -0,0 +1,3 @@ +#!/bin/bash + +python3 tools/tp.py "$@"