This repo contains code to mirror other repos. It also contains the code that is getting mirrored.
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
- start: header _NL row+
- header: "#" " "? (WORD _SEPARATOR?)+
- row: (_anything _SEPARATOR?)+ _NL
- _anything: INT | WORD | NON_SEPARATOR_STRING | FLOAT | SIGNED_FLOAT
- NON_SEPARATOR_STRING: /[a-zA-z.;\\\/]+/
- _SEPARATOR: /[ ]+/
- | "\t"
- | ","
-
- %import common.NEWLINE -> _NL
- %import common.WORD
- %import common.INT
- %import common.FLOAT
- %import common.SIGNED_FLOAT
|