dotdot got lost in merging

pirms 1 gada · 59b776efb7
--- a/minproto.leg
+++ b/minproto.leg
@ -3545,6 +3545,7 @@ SLASHEQ = "/="          -
 PCENT   = "%"  ![=]     -
 PCENTEQ = "%="          -
 DOT     = "."  ![.]     -
 DOTDOT  = ".."          -
 PLING   = "!"  ![=]     -
 TILDE   = "~"           -