diff options
Diffstat (limited to 'tlpkg')
-rw-r--r-- | tlpkg/tlpsrc/ketcindy.tlpsrc (renamed from tlpkg/tlpsrc/ketpic.tlpsrc) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tlpkg/tlpsrc/ketpic.tlpsrc b/tlpkg/tlpsrc/ketcindy.tlpsrc index 403a3ef6..403a3ef6 100644 --- a/tlpkg/tlpsrc/ketpic.tlpsrc +++ b/tlpkg/tlpsrc/ketcindy.tlpsrc |