diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-11-21 07:35:19 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-11-21 07:35:19 +0000 |
commit | 4d611818efd68a3a22bc32c3a3e2969987714748 (patch) | |
tree | 9cc1b92bda0877fcaf30610b9abc3c0146ec2b72 /Build/source/libs/paper/ChangeLog | |
parent | ec13f14d56d8c51a1b37d2ca594ca95abe530932 (diff) |
psutils: Avoid GNU getopt feature (found by Marc Baudoin <babafou@babafou.eu.org>)
git-svn-id: svn://tug.org/texlive/trunk@32196 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs/paper/ChangeLog')
0 files changed, 0 insertions, 0 deletions