diff options
author | Karl Berry <karl@freefriends.org> | 2018-02-20 18:24:46 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-02-20 18:24:46 +0000 |
commit | 7c1e49f3f8af11f0fd9e70027017b318ac81fea7 (patch) | |
tree | 79a2399402c9208b4dd429d8c2157b6d8f4fc165 /Master | |
parent | 64520e9c28f986551d982afb021df96193d23e51 (diff) |
texinfo syntax
git-svn-id: svn://tug.org/texlive/trunk@46685 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
0 files changed, 0 insertions, 0 deletions