diff -r b4f57bfe82e7 -r 8c213672f6f3 etc/components
--- 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