K 10
svn:author
V 6
mmokhi
K 8
svn:date
V 27
2017-12-08T21:58:08.335084Z
K 7
svn:log
V 106
editors/codelite: Upgrade the port to the latest version (11.0)
Delete the no-longer-needed patch as well

END