diff options
author | David A. Madore <david+git@madore.org> | 2017-10-30 16:57:37 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2017-10-30 16:57:37 +0100 |
commit | 5bdc28a5005aff51b09aa7907575af08ce299c15 (patch) | |
tree | 8333ed1f304876a91c66ea733e92494cd3b9477e /vc | |
parent | d75012eabb6cd09f24822623e8a6833b4cce5379 (diff) | |
download | inf105-5bdc28a5005aff51b09aa7907575af08ce299c15.tar.gz inf105-5bdc28a5005aff51b09aa7907575af08ce299c15.tar.bz2 inf105-5bdc28a5005aff51b09aa7907575af08ce299c15.zip |
Compatibility with older TeXlive.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions