Use \textless and \textgreater instead of <>.
authorGerd Zellweger <mail@gerdzellweger.com>
Thu, 10 Oct 2013 09:51:49 +0000 (11:51 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Thu, 10 Oct 2013 12:03:15 +0000 (14:03 +0200)
commit212abe37680e4c77fe60f20d2851bdeb5d3b5664
tree214e3c2117ef1f3ad79d3bc1c53f6fc0c7077dce
parent3f9f7e1cccb2be69a37e27d9ea0a692ce745f614
Use \textless and \textgreater instead of <>.
doc/008-tracing/Tracing.tex