diff options
author | John Högberg <[email protected]> | 2018-04-10 11:44:35 +0200 |
---|---|---|
committer | John Högberg <[email protected]> | 2018-04-16 15:44:56 +0200 |
commit | 9128efbb8dadc819938820af0d9de9128e72eb07 (patch) | |
tree | 5c4e714f44b7c04e5dc8ff89100596553582f22f /lib/tools | |
parent | c71d914fa41f3b272dc80fefc33c1bb40ca86652 (diff) | |
download | otp-9128efbb8dadc819938820af0d9de9128e72eb07.tar.gz otp-9128efbb8dadc819938820af0d9de9128e72eb07.tar.bz2 otp-9128efbb8dadc819938820af0d9de9128e72eb07.zip |
erts: Always keep a copy of driver names as an atom
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions