--- a/etc/components Sun Jul 18 12:48:31 2021 +0200
+++ b/etc/components Sun Jul 18 13:27:23 2021 +0200
@@ -2,6 +2,7 @@
src/Tools/jEdit
src/Tools/GraphBrowser
src/Tools/Graphview
+src/Tools/Setup
src/Tools/VSCode
src/HOL/Mutabelle
src/HOL/Library/Sum_of_Squares