diff options
| author | Zandra <[email protected]> | 2015-10-08 12:09:32 +0200 |
|---|---|---|
| committer | Zandra <[email protected]> | 2015-10-08 12:09:32 +0200 |
| commit | 2c7e387961251af59f14bca39cbf8fbbe880383e (patch) | |
| tree | 6b621bfe4032becbc85f048a632d5cc19691f9f3 /.gitignore | |
| parent | ad208aaf06ae82b26e1c30d7d5523daa81b074ca (diff) | |
| parent | a3a8d25c8d884fe086d7d8ee3ebdcc732abb0abc (diff) | |
| download | otp-2c7e387961251af59f14bca39cbf8fbbe880383e.tar.gz otp-2c7e387961251af59f14bca39cbf8fbbe880383e.tar.bz2 otp-2c7e387961251af59f14bca39cbf8fbbe880383e.zip | |
Merge branch 'tomszilagyi/shell-support-del-home-end' into maint
OTP-12032
* tomszilagyi/shell-support-del-home-end:
Erlang shell: Support keys Del, Home and End
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions