diff -r 2ddab62389ec -r 25ee6b988b73 macros/macro-7.vys
--- a/macros/macro-7.vys	Tue Apr 10 13:22:54 2007 +0000
+++ b/macros/macro-7.vys	Tue Dec 15 09:14:59 2009 +0000
@@ -1,3 +1,2 @@
 # Macro F7
 colorSubtree ("#0000ff");
-toggleFlag ("info");