diff options
author | Dan Gudmundsson <[email protected]> | 2016-11-28 14:10:13 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2016-11-28 14:10:13 +0100 |
commit | db6f4adc01afb8efac35111870f4c9bf5cfcf270 (patch) | |
tree | 4542a50c777343b98b9a41f23931090fffc6a37d /lib/observer | |
parent | 544f9eb04929c7c61fbe97ecd651ac24288d0d12 (diff) | |
parent | ba7110c1565a7ca1272a647425aa573596347a47 (diff) | |
download | otp-db6f4adc01afb8efac35111870f4c9bf5cfcf270.tar.gz otp-db6f4adc01afb8efac35111870f4c9bf5cfcf270.tar.bz2 otp-db6f4adc01afb8efac35111870f4c9bf5cfcf270.zip |
Merge branch 'victorhge/tools/emacs/icr_indentation/PR-1193' into maint
* victorhge/tools/emacs/icr_indentation/PR-1193:
Add an option erlang-icr-indent
Diffstat (limited to 'lib/observer')
0 files changed, 0 insertions, 0 deletions