diff options
author | Karl Berry <karl@freefriends.org> | 2020-04-18 21:52:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-04-18 21:52:56 +0000 |
commit | bc06872f401b88bc9f33d963593db77c0184e847 (patch) | |
tree | 2a2b6fcbeb68a1fa204315625f9f7047bceef7b3 /Master/source | |
parent | d78e6233eeb68d23f8deb17e16a3f3b828e35beb (diff) |
(platform_name, platform_desc): support amd64-unknown-midnightbsd1.2,
request from Nelson, 17 Apr 2020 18:35:47.
Also, if the envvar TEXLIVE_OS_NAME is set, use it as-is.
git-svn-id: svn://tug.org/texlive/trunk@54790 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/source')
0 files changed, 0 insertions, 0 deletions