mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 15:24:43 +02:00
8199470: Remove unused property file.encoding.pkg
Reviewed-by: bpb, sherman
This commit is contained in:
parent
ffac9ae61c
commit
d4941f14af
3 changed files with 0 additions and 4 deletions
|
@ -629,7 +629,6 @@ GetJavaProperties(JNIEnv* env)
|
|||
* user.language
|
||||
* user.script, user.country, user.variant (if user's environment specifies them)
|
||||
* file.encoding
|
||||
* file.encoding.pkg
|
||||
*/
|
||||
{
|
||||
/*
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue