diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2016-10-31 11:23:48 +0100 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2016-10-31 11:23:48 +0100 |
| commit | f27fdee291673134d5cd626f0ba6b11fbc305052 (patch) | |
| tree | 0758577117ca6909a5a1dab51eb47d5e141fbcb0 | |
| parent | 1d53aca8adc0283f136c0a67b0c1ab13e39de4fa (diff) | |
| parent | 056789659edec99e5500c4508f00460b98d6c73f (diff) | |
| download | otp-f27fdee291673134d5cd626f0ba6b11fbc305052.tar.gz otp-f27fdee291673134d5cd626f0ba6b11fbc305052.tar.bz2 otp-f27fdee291673134d5cd626f0ba6b11fbc305052.zip | |
Merge branch 'maint'
| -rw-r--r-- | lib/kernel/doc/src/file.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/kernel/doc/src/file.xml b/lib/kernel/doc/src/file.xml index 09497482cf..b674b3ca93 100644 --- a/lib/kernel/doc/src/file.xml +++ b/lib/kernel/doc/src/file.xml @@ -1477,8 +1477,8 @@ f.txt: {person, "kalle", 25}. <tag><c>16#400</c></tag> <item><p>set group id on execution</p></item> </taglist> - <p>On Unix platforms, the following bits - can also be set:</p> + <p>On Unix platforms, other bits than those listed above + may be set.</p> </item> <tag><c>links = integer() >= 0</c></tag> <item> @@ -2042,8 +2042,8 @@ f.txt: {person, "kalle", 25}. <tag><c>16#400</c></tag> <item><p>Set group id on execution</p></item> </taglist> - <p>On Unix platforms, the following bits - can also be set.</p> + <p>On Unix platforms, other bits than those listed above + may be set.</p> </item> <tag><c>uid = integer() >= 0</c></tag> <item> |