tree 1d4218959fafe3cffbfadc792481a519323b0a1e
parent 9705a736dd3d6fbead0d8a6ff77102c69bbcdc08
author Keir Mierle <mierle@gmail.com> 1345488304 -0700
committer Keir Mierle <mierle@gmail.com> 1345488304 -0700

Ignore minted.sty.

Change-Id: I2467a6f801812b9007b51bf14b00757f026e4322