# HG changeset patch
# User wenzelm
# Date 1400425297 -7200
# Node ID e8c0d894a205f67d2ed53b5f75ee66a18fc03ff7
# Parent  9b6628f29defc47318e9dad679a7fa30725daee9
tuned comments;

diff -r 9b6628f29def -r e8c0d894a205 etc/components
--- a/etc/components	Sun May 18 17:01:31 2014 +0200
+++ b/etc/components	Sun May 18 17:01:37 2014 +0200
@@ -1,3 +1,4 @@
+#hard-wired components
 src/Tools/Code
 src/Tools/jEdit
 src/Tools/Graphview