remove redundant options from the tex details
authorBenjamin Mako Hill <mako@atdot.cc>
Sat, 14 Sep 2013 18:23:41 +0000 (11:23 -0700)
committerBenjamin Mako Hill <mako@atdot.cc>
Sat, 14 Sep 2013 18:23:41 +0000 (11:23 -0700)

No differences found

Benjamin Mako Hill || Want to submit a patch?