--- a/etc/components Fri Nov 24 22:22:41 2023 +0100 +++ b/etc/components Sat Nov 25 16:13:08 2023 +0100 @@ -1,4 +1,5 @@ #built-in components +src/Tools/Demo src/Tools/jEdit src/Tools/GraphBrowser src/Tools/Graphview