Proper highlighting of "\d*<<<" redirection. This feature seems not mentioned in the Bash Manual. Please attach a link to documentation about it to this bug report if you know any. BUG: 142904 CCBUG: 145547 CCMAIL: webmaster@hartwork.org
Proper highlighting of "\d*<<<" redirection.
This feature seems not mentioned in the Bash Manual.
Please attach a link to documentation about it to this
bug report if you know any.
BUG: 142904
CCBUG: 145547
CCMAIL: webmaster@hartwork.org

svn path=/trunk/KDE/kdelibs/kate/; revision=724425

hlamer/kate,DickJ/kate,sandsmark/kate,hlamer/kate,hlamer/kate,hlamer/kate,sandsmark/kate,cmacq2/kate,hlamer/kate,hlamer/kate,cmacq2/kate,sandsmark/kate,jfmcarreira/kate,hlamer/kate,jfmcarreira/kate,DickJ/kate,hlamer/kate,hlamer/kate,jfmcarreira/kate,hlamer/kate,sandsmark/kate,cmacq2/kate,DickJ/kate,DickJ/kate