From ece571c3a95bea7bb08d196d4f957eaf7202d966 Mon Sep 17 00:00:00 2001 From: Varac <varac@varac.net> Date: Fri, 25 Feb 2022 16:21:28 +0100 Subject: [PATCH] Remove unneeded Makefile --- .gitignore | 3 +++ Makefile | 9 --------- 2 files changed, 3 insertions(+), 9 deletions(-) delete mode 100644 Makefile diff --git a/.gitignore b/.gitignore index 559423148..33ab0ef1c 100644 --- a/.gitignore +++ b/.gitignore @@ -26,5 +26,8 @@ __pycache__ *.swp *.pyc +# Personal taskfile(s) +Taskfile.yaml + # Documentation files /docs/_build diff --git a/Makefile b/Makefile deleted file mode 100644 index 46a257bfc..000000000 --- a/Makefile +++ /dev/null @@ -1,9 +0,0 @@ -.DEFAULT_GOAL := help - -help: - # See Makefile for available targets. - -freeze: - # pip wrongly adds `pkg-resources==0.0.0` which will break some systems, see - # https://open.greenhost.net/stackspin/stackspin/issues/498#note_15057 - pip3 freeze | grep -v "pkg-resources" > requirements-stable.txt -- GitLab