# HG changeset patch # User Rik # Date 1593009757 25200 # Node ID e5ced6bd5ac07c190f85f6a403ab4205ca6d2f72 # Parent 9e9ddc90e88a967a5d0cf6f7357431278aaff001 Backed out changeset 9e9ddc90e88a. diff -r 9e9ddc90e88a -r e5ced6bd5ac0 scripts/pkg/pkg.m --- a/scripts/pkg/pkg.m Tue Jun 23 11:55:11 2020 -0700 +++ b/scripts/pkg/pkg.m Wed Jun 24 07:42:37 2020 -0700 @@ -456,7 +456,7 @@ endif action = varargin{i}; otherwise - files{end+1} = tolower (varargin{i}); + files{end+1} = varargin{i}; endswitch endfor