From 9b40858d56a7a866f5985465b8856812f983a733 Mon Sep 17 00:00:00 2001
From: Daniel Rojas <github@danielrojas.net>
Date: Tue, 19 Oct 2021 21:44:14 +0200
Subject: [PATCH] Add `devtools.txt`

---
 devtools.txt | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 devtools.txt

diff --git a/devtools.txt b/devtools.txt
new file mode 100644
index 0000000..5343d7a
--- /dev/null
+++ b/devtools.txt
@@ -0,0 +1,11 @@
+# The following tools have proven useful during development
+# Feel free to install while inside the WireViz virtualenv, using:
+# pip install -r devtools.txt
+
+# Code formatting
+black
+isort
+
+# Development aids
+pudb  # visual python debugger
+autoflake  # to be tested