Add tools to the list of app.src applications

kostis · kostis · commit 29a76fa1a704 · 2025-05-05T14:42:08.000+02:00
diff --git a/src/proper.app.src b/src/proper.app.src
@@ -32,5 +32,5 @@
             {"Official Documentation", "https://proper-testing.github.io/"}]},
   {vsn, "1.5.0"},
   {registered, []},
-  {applications, [compiler, kernel, stdlib]},
+  {applications, [compiler, kernel, stdlib, tools]},
   {env, []}]}.
