diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-07-30 13:39:32 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-07-30 13:39:32 +0000 |
commit | 36b285765e011ab0b2e6a21ffd9ae465244347ec (patch) | |
tree | 59090e0d29d61f32c61b4534e8a269e7bb580d83 /Master/bin/win32/rumakeindexx.bat | |
parent | 3ec52efea5cbea8ba0cb6ac7f19ef58fcd8c4c0c (diff) |
check gsdll32.dll or gsdll64.dll for DLL written in the registry. if gsdll64.dll, ignore it since this dvisvgm is 32bit
git-svn-id: svn://tug.org/texlive/trunk@48311 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32/rumakeindexx.bat')
0 files changed, 0 insertions, 0 deletions