summaryrefslogtreecommitdiff
path: root/tlpkg
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2018-04-18 09:58:55 +0900
committerNorbert Preining <norbert@preining.info>2018-04-18 09:58:55 +0900
commit97c498990768240db2126f56c5bb2a07014b3b88 (patch)
tree2f76a18f973d5e1aff3f7596160941a315b05a8f /tlpkg
parentb37ee2eee26b9135cb474d95eac1fc5660c0d049 (diff)
remove ketcindy, it is in main
Diffstat (limited to 'tlpkg')
-rw-r--r--tlpkg/tlpsrc/ketcindy.tlpsrc1
1 files changed, 0 insertions, 1 deletions
diff --git a/tlpkg/tlpsrc/ketcindy.tlpsrc b/tlpkg/tlpsrc/ketcindy.tlpsrc
deleted file mode 100644
index 403a3ef6..00000000
--- a/tlpkg/tlpsrc/ketcindy.tlpsrc
+++ /dev/null
@@ -1 +0,0 @@
-binpattern f bin/${ARCH}/ketcindy