Revision 8856c1b93f273f905a99f762694b3d96d940886e

Committed on 06/10/2010 12:57 pm by Gaetano Giunta <gg@ez.no> [GitHub Diff]

- use smaller font for tree

git-svn-id: http://svn.projects.ez.no/ezdebug_template_operator@20 8ae3b124-d6c5-461a-b96a-ed4a83a48eb2