diff -r 702ad0ef6b3f -r fd5ff16632cb src/eric7/MicroPython/Tools/__init__.py --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/eric7/MicroPython/Tools/__init__.py Fri Mar 17 19:10:33 2023 +0100 @@ -0,0 +1,10 @@ +# -*- coding: utf-8 -*- + +# Copyright (c) 2023 Detlev Offenbach <detlev@die-offenbachs.de> +# + +""" +Package implementing some MicroPython related tools. + +Note: There might be tools taken from third party sources. +"""