diff options
author | Staszek Wawrykiewicz <staw@gust.org.pl> | 2008-07-12 04:26:26 +0000 |
---|---|---|
committer | Staszek Wawrykiewicz <staw@gust.org.pl> | 2008-07-12 04:26:26 +0000 |
commit | aa57291c486c843be5dd0dbcf3dda2a291b45710 (patch) | |
tree | 48fafcee1cce36a0af100e24cad937c156da56ce /Master/bin/win32/pooltype.exe | |
parent | 899eff3d111b8963c6e21c836e77100b4d466935 (diff) |
new win32 binaries from Akira, eg. kpathsea357replacing 356
git-svn-id: svn://tug.org/texlive/trunk@9465 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32/pooltype.exe')
-rwxr-xr-x | Master/bin/win32/pooltype.exe | bin | 7680 -> 7680 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/win32/pooltype.exe b/Master/bin/win32/pooltype.exe Binary files differindex 3c56cdadb8f..d0e53c2e001 100755 --- a/Master/bin/win32/pooltype.exe +++ b/Master/bin/win32/pooltype.exe |