Add a hex command.

This commit is contained in:
John Winans 2018-05-19 15:17:08 -05:00
parent 003a9a4221
commit 8c6b6247cc

View File

@ -549,3 +549,5 @@
\newcommand\insn[1]{{\tt #1}} \newcommand\insn[1]{{\tt #1}}
\newcommand\rvddt{{\tt rvddt}} \newcommand\rvddt{{\tt rvddt}}
\newcommand\hex[1]{{\tt 0x#1}}