From 5f75ced736944d9953654f6db7f2ddb664578b24 Mon Sep 17 00:00:00 2001
From: nbats <44333466+nbats@users.noreply.github.com>
Date: Sun, 8 Aug 2021 17:59:19 -0700
Subject: [PATCH] Rename DEVTools.txt to DEVTools.md

---
 DEVTools.txt => DEVTools.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename DEVTools.txt => DEVTools.md (98%)

diff --git a/DEVTools.txt b/DEVTools.md
similarity index 98%
rename from DEVTools.txt
rename to DEVTools.md
index 1d40fcda5..a37a5d3ac 100644
--- a/DEVTools.txt
+++ b/DEVTools.md
@@ -375,4 +375,4 @@
 * [CoCalc](https://cocalc.com/) - *Virtual online workspace*
 * [CodePen](https://codepen.io/) - *Code Sandbox* 
 * [tio.run](https://tio.run/) - *Programming Language Interpreters* 
-* [Online Python Compiler](https://www.onlinegdb.com/online_python_compiler) - *Online Python Editor & Tester*
\ No newline at end of file
+* [Online Python Compiler](https://www.onlinegdb.com/online_python_compiler) - *Online Python Editor & Tester*