diff options
author | Björn Gustavsson <[email protected]> | 2017-03-22 14:39:19 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-03-22 14:39:19 +0100 |
commit | f3e86bb18b9b60504e756e3018f8777fdd0d8bc5 (patch) | |
tree | eb8bd4f5eb24ccc33403a854182982ccaa03c9a6 /erts/preloaded/.gitignore | |
parent | 48964b13038dee45db5121e31af9c460ced65745 (diff) | |
parent | 37dfd6cd6f02003ffe9cc08867185ae1ae3ed2a8 (diff) | |
download | otp-f3e86bb18b9b60504e756e3018f8777fdd0d8bc5.tar.gz otp-f3e86bb18b9b60504e756e3018f8777fdd0d8bc5.tar.bz2 otp-f3e86bb18b9b60504e756e3018f8777fdd0d8bc5.zip |
Merge pull request #1383 from shezarkhani/patch-1
Minor document fix for proplists
Diffstat (limited to 'erts/preloaded/.gitignore')
0 files changed, 0 insertions, 0 deletions