changeset 936 | 0b5f06539a84 |
parent 920 | 7af2eea19646 |
child 937 | dc5ab66b11cc |
--- a/langs.sty Sun Oct 01 15:25:22 2023 +0100 +++ b/langs.sty Mon Oct 02 23:10:56 2023 +0100 @@ -37,7 +37,7 @@ \lstdefinelanguage{Scala}{ morekeywords={abstract,then,case,catch,class,def,% - do,else,enum,extends,false,final,finally,% + do,else,enum,extends,extension,false,final,finally,% for,given,if,implicit,import,lazy,match,mixin,% new,null,object,override,package,% private,protected,requires,return,sealed,%