mirror of
https://git.freebsd.org/ports.git
synced 2025-05-20 02:53:10 -04:00
provider. This is helpful when users also wish to force os.name to a different value (e.g. Linux) but not being forced to also use the Linux file system provider. This can be done by defining the property java.nio.file.spi.DefaultFileSystemProvider. This patch differs from the submitters in that the range of values are restricted to the current known defaults. PR: 173847 Submitted by: 4721 at hushmail.com |
||
---|---|---|
.. | ||
files | ||
distinfo | ||
Makefile | ||
pkg-descr |