diff options
author | Dan Gudmundsson <[email protected]> | 2009-12-16 14:34:03 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2009-12-18 16:30:07 +0100 |
commit | 87f6e4c3bcddc166d2109e72ae8add6adfca26cc (patch) | |
tree | c9ebcfdcaa56c6e32ab6289f7c6a04d0e13b3c93 /.gitignore | |
parent | e27e41b63225b1be5ce2f338d219a39429079fec (diff) | |
download | otp-87f6e4c3bcddc166d2109e72ae8add6adfca26cc.tar.gz otp-87f6e4c3bcddc166d2109e72ae8add6adfca26cc.tar.bz2 otp-87f6e4c3bcddc166d2109e72ae8add6adfca26cc.zip |
Dbg: Cut variable bindings after 80 chars.
This is an optimization to avoid sending huge terms to the gui
just to step by them and update variables again.
Even better would be to only update if necessary.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions