diff options
| author | Erlang/OTP <[email protected]> | 2010-06-01 14:42:55 +0000 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2010-06-01 14:42:55 +0000 |
| commit | 012e340d83e34200705200c5fafd55ee990c1795 (patch) | |
| tree | 2ba99d7376803c1d2491cb402f0316e01403a305 /lib/tools/bin/.gitignore | |
| parent | c68045eb946cbe5435449fb49b697624b49dddff (diff) | |
| parent | 16d48acbde6cd272c02ce7db2fd4dc8ad973f7d2 (diff) | |
| download | otp-012e340d83e34200705200c5fafd55ee990c1795.tar.gz otp-012e340d83e34200705200c5fafd55ee990c1795.tar.bz2 otp-012e340d83e34200705200c5fafd55ee990c1795.zip | |
Merge branch 'dgud/emacs-catch-improvements' into dev
* dgud/emacs-catch-improvements:
Improved indentation of old catch.
Added more type highlighting and fixed record indentation with types.
Diffstat (limited to 'lib/tools/bin/.gitignore')
0 files changed, 0 insertions, 0 deletions