Just in case you've overlooked this...

You mentioned earlier that you were going to purge @root from the
docs.  But, there's a FAQ called "Which should I use: @root trees or
@thin trees?", and it makes @root sound more desirable than @thin if
one is willing to learn how to use it.

RobS

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en.

Reply via email to