# HG changeset patch # User wenzelm # Date 1613848209 -3600 # Node ID 3edb1592cad6aa2a989af84c37cf92e8be05f25c # Parent 3acd62a22c1eb7c26ea8bcf04f68177ecbb7dc2c tuned comments; diff -r 3acd62a22c1e -r 3edb1592cad6 etc/components --- a/etc/components Sat Feb 20 17:28:56 2021 +0100 +++ b/etc/components Sat Feb 20 20:10:09 2021 +0100 @@ -1,4 +1,4 @@ -#hard-wired components +#built-in components src/Tools/jEdit src/Tools/Graphview src/Tools/VSCode