diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-11-11 12:23:43 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-11-11 12:23:43 +0000 |
commit | 98963354ab3f31914b66070b90f314849c70df36 (patch) | |
tree | 61dd4496a4bce7d8f738d8ceb0f78c7b6dbfe50e /Master/texmf-dist/scripts/context/ruby/base/switch.rb | |
parent | 9a2a65987d92cda08de9115088082b33e05032fd (diff) |
placate deficient case-insensitive filesystems
git-svn-id: svn://tug.org/texlive/branches/branch2013@32125 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/context/ruby/base/switch.rb')
0 files changed, 0 insertions, 0 deletions