diff options
| author | Sverker Eriksson <[email protected]> | 2017-02-24 20:43:54 +0100 |
|---|---|---|
| committer | Sverker Eriksson <[email protected]> | 2017-03-22 15:27:17 +0100 |
| commit | 14982307b07e899e888e5bfb93b3a138d4948459 (patch) | |
| tree | dbb84b7c3d1aec092ca8c3d23a8848c101453fa7 /plt/.gitignore | |
| parent | e214bb4a0f86a6f956dd473f66b1a6c2f7085591 (diff) | |
| download | otp-14982307b07e899e888e5bfb93b3a138d4948459.tar.gz otp-14982307b07e899e888e5bfb93b3a138d4948459.tar.bz2 otp-14982307b07e899e888e5bfb93b3a138d4948459.zip | |
erts: Remove meta_main_tab
\o/
O
/ \
Also removed the body for CHECK_TABLES enabled by HARDDEBUG.
Removed quite useless check for hash,
but kept dead check code for tree.
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions