aboutsummaryrefslogtreecommitdiffstats
path: root/lib/odbc/ebin/.gitignore
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-01-17 15:10:58 +0100
committerHans Bolinder <[email protected]>2017-02-03 08:58:00 +0100
commit2c577356c419b9420cae91a74d4b1602d584275a (patch)
tree8fc211d0118c8f49fa6ea436511ad7a5e481839a /lib/odbc/ebin/.gitignore
parente917ae0da957a8b151df54e2f1940fded8d21ad1 (diff)
downloadotp-2c577356c419b9420cae91a74d4b1602d584275a.tar.gz
otp-2c577356c419b9420cae91a74d4b1602d584275a.tar.bz2
otp-2c577356c419b9420cae91a74d4b1602d584275a.zip
dialyzer: Use less memory for the PLT when analyzing
The two tables for (record) types and exported types are no longer kept in memory (by the PLT) when analyzing, which reduces memory consumption. A first step towards removing (or replacing) the #plt{} record.
Diffstat (limited to 'lib/odbc/ebin/.gitignore')
0 files changed, 0 insertions, 0 deletions