diff options
| author | Karl Berry <karl@freefriends.org> | 2013-04-15 22:53:52 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2013-04-15 22:53:52 +0000 |
| commit | 7128c4ee927e794de295962ee7bcffa8d548b788 (patch) | |
| tree | 5bdbda52fe48568e893b46a1c4dc52fbe31ac214 /Build/logs/log.5496.gz | |
| parent | 0f15f2894a74e1811305abd588b8dbcfddf986cf (diff) | |
.ofm and ini_version checks from elie
git-svn-id: svn://tug.org/texlive/trunk@29960 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/logs/log.5496.gz')
0 files changed, 0 insertions, 0 deletions