From 9d278ae10d3d16b7ef8b0c49aa55cfc8702bb057 Mon Sep 17 00:00:00 2001
From: MaximeBarniaudy <maxime.barniaudy@gmail.com>
Date: Tue, 14 May 2024 13:22:37 +0900
Subject: [PATCH] dotdot got lost in merging

---
 minproto.leg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/minproto.leg b/minproto.leg
index 5787f67..cf9d5b3 100644
--- a/minproto.leg
+++ b/minproto.leg
@@ -2996,6 +2996,7 @@ SLASHEQ = "/="          -
 PCENT   = "%"  ![=]     -
 PCENTEQ = "%="          -
 DOT     = "."  ![.]     -
+DOTDOT  = ".."          -
 PLING   = "!"  ![=]     -
 TILDE   = "~"           -