diff options
author | Steffen Banhardt <github@steffenbanhardt.de> | 2019-01-31 15:06:19 +0100 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2019-01-31 09:06:19 -0500 |
commit | 147e96914c5e0dfa9d626d928be4d9c65869b2a0 (patch) | |
tree | 31326792b39c6db9b2fd0d62faeef8ab37586fb2 /README.md | |
parent | 0abc40c23cbe7c0d39549975bf86cec6a7c6ef05 (diff) |
ignore/types: *.dtx and *.ins added for tex
PR #1182
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions