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*