diff options
author | Norbert Preining <norbert@preining.info> | 2018-09-25 08:30:26 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2018-09-25 08:30:26 +0900 |
commit | e6b754ddd8bdcc1242d8acf0517fa8a694a960c5 (patch) | |
tree | 1469880d4b4f3fa14abe2694b697a8cfbc3833f9 /tlpkg | |
parent | 75618a98911aa06acc60d6895de38dd4e4f7cf4e (diff) |
aeb-minitoc (new)
Diffstat (limited to 'tlpkg')
-rw-r--r-- | tlpkg/tlpsrc/aeb-minitoc.tlpsrc | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tlpkg/tlpsrc/aeb-minitoc.tlpsrc b/tlpkg/tlpsrc/aeb-minitoc.tlpsrc new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/tlpkg/tlpsrc/aeb-minitoc.tlpsrc |