diff options
| author | Björn Gustavsson <[email protected]> | 2013-02-12 17:38:22 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2013-02-13 11:25:54 +0100 |
| commit | 1d6ac47dc148bcfdb61c205b709b61172374eb30 (patch) | |
| tree | b9ea8e5e302c7f12f3e9aee3c4ce4ff63c2d2b4b /.gitattributes | |
| parent | 87fe90a69421b9fc462f94a6bf4b760f92fd49e0 (diff) | |
| download | otp-1d6ac47dc148bcfdb61c205b709b61172374eb30.tar.gz otp-1d6ac47dc148bcfdb61c205b709b61172374eb30.tar.bz2 otp-1d6ac47dc148bcfdb61c205b709b61172374eb30.zip | |
Make the file:filename() type more restrictive
The recommended type for filenames is a list of characters (which
may be Unicode characters greater than 255). Change the
file:filename() to reflect that.
For the filename module we still need a type that can be either
a string or a binary, so we need to introduce the type
file:filename_all().
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions