diff options
author | Michael S. Tsirkin <mst@redhat.com> | 2018-04-16 23:12:35 +0300 |
---|---|---|
committer | Michael S. Tsirkin <mst@redhat.com> | 2018-04-16 23:19:34 +0300 |
commit | 26b3760e53bf67ef63de5d7b2e04641d4197c463 (patch) | |
tree | a3d2394507c4f797e990baed13c82ace7025d3b0 /fac073aec5bf8f098cb8ae8e771d3d6d3cc6ebe1 | |
parent | 396b1957817e0bd14697e28d9fe61bfc80f1350f (diff) |
tex: drop unused todonotes
We don't really use todonotes, this dependency can be dropped. We do
need to import xcolor which was previously pulled in by todonotes.
Tested-by: Mihai Carabas <mihai.carabas@oracle.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Diffstat (limited to 'fac073aec5bf8f098cb8ae8e771d3d6d3cc6ebe1')
0 files changed, 0 insertions, 0 deletions