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 /make-setup-generated.sh | |
| 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 'make-setup-generated.sh')
0 files changed, 0 insertions, 0 deletions