diff options
author | Karl Berry <karl@freefriends.org> | 2009-06-24 00:52:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-06-24 00:52:18 +0000 |
commit | 3b4b10daeae8fca82fc30e9183ed53a3cc73e822 (patch) | |
tree | 9034c795f7cecf75638f535a471eb3ccb129e074 /Master/texmf-dist | |
parent | 560d992d2fd5090df4c6cbf95ae2bbfbacddfcab (diff) |
logic update (RobinF/ScottP, 23 Jun 2009 07:27:34)
git-svn-id: svn://tug.org/texlive/trunk@13927 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/logic/milstd.mf | 2 | ||||
-rw-r--r-- | Master/texmf-dist/tex/latex/logic/milstd.tex (renamed from Master/texmf-dist/doc/latex/logic/milstd.tex) | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/Master/texmf-dist/fonts/source/public/logic/milstd.mf b/Master/texmf-dist/fonts/source/public/logic/milstd.mf index 403bf09599a..3830750d5bd 100644 --- a/Master/texmf-dist/fonts/source/public/logic/milstd.mf +++ b/Master/texmf-dist/fonts/source/public/logic/milstd.mf @@ -436,5 +436,3 @@ currentpicture := pic rotated 90 shifted(gatei,0); endchar; end; - -
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/logic/milstd.tex b/Master/texmf-dist/tex/latex/logic/milstd.tex index 082fed14703..06e740fb613 100644 --- a/Master/texmf-dist/doc/latex/logic/milstd.tex +++ b/Master/texmf-dist/tex/latex/logic/milstd.tex @@ -30,5 +30,3 @@ \def\INVd{{\milstd\char22}} \def\INVl{{\milstd\char23}} \def\INVu{{\milstd\char24}} - -
\ No newline at end of file |