summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/logicproof.tlpsrc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2014-03-21 23:03:16 +0000
committerKarl Berry <karl@freefriends.org>2014-03-21 23:03:16 +0000
commit92d905be3ae707fa5be86dc2700f7f37465fd0f6 (patch)
treed521c99b19817533218ec55af7661fe6062c9eed /Master/tlpkg/tlpsrc/logicproof.tlpsrc
parent6b7fe4da3d5fa2003703011edea90ba320398249 (diff)
logicproof (21mar14)
git-svn-id: svn://tug.org/texlive/trunk@33254 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/logicproof.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/logicproof.tlpsrc0
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/logicproof.tlpsrc b/Master/tlpkg/tlpsrc/logicproof.tlpsrc
new file mode 100644
index 00000000000..e69de29bb2d
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/logicproof.tlpsrc