summaryrefslogtreecommitdiff
path: root/mediawiki-trim
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2015-01-10 04:22:08 +0100
committerJonas Smedegaard <dr@jones.dk>2015-01-10 04:22:08 +0100
commit3dc780f668a50e894e9807e1b26643becb404378 (patch)
tree299623999376b94b97c37fcc03f0940a7f6d61c1 /mediawiki-trim
parent0ab293f436790cffcc77d0d963a483fb60d659a8 (diff)
Drop intermediary .tex targets (unneeded with memoir-based sidenote rendering).
Diffstat (limited to 'mediawiki-trim')
0 files changed, 0 insertions, 0 deletions