| changeset 935 | 3fb9b05465dd |
| parent 920 | bcff91cc274f |
| child 936 | aabd9168c7ac |
--- 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,%