diff options
author | Dan Gudmundsson <[email protected]> | 2016-10-05 12:06:59 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2016-10-05 12:06:59 +0200 |
commit | ef6f8da5d027055a36c70196df69dfbb7b464800 (patch) | |
tree | 387a09fc112b9a8428466e715786d76c597552bb /plt/.gitignore | |
parent | 00a8242f61468bf3603623fce4781b2f1ab22513 (diff) | |
parent | d094d41069275f42845ba67da410e1b30566950b (diff) | |
download | otp-ef6f8da5d027055a36c70196df69dfbb7b464800.tar.gz otp-ef6f8da5d027055a36c70196df69dfbb7b464800.tar.bz2 otp-ef6f8da5d027055a36c70196df69dfbb7b464800.zip |
Merge branch 'maint'
* maint:
erlang-mode: do not configure require-final-newline
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions