diff options
author | Björn Gustavsson <[email protected]> | 2017-01-10 14:53:03 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2017-01-10 14:53:03 +0100 |
commit | 947169af61bdd67d34fabd47a56be04e8468120d (patch) | |
tree | 9130c98b141e9fca373c6fcf8fe2e463838e8198 /plt/.gitignore | |
parent | 9595a90fd301e2049b822c8a4d712b5033a3e9d0 (diff) | |
download | otp-947169af61bdd67d34fabd47a56be04e8468120d.tar.gz otp-947169af61bdd67d34fabd47a56be04e8468120d.tar.bz2 otp-947169af61bdd67d34fabd47a56be04e8468120d.zip |
Remove mention of R12B
Also don't say that there are no plans to make sharing-preserving
copying default; it has been seriously suggested.
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions