blob: 67597d1737c57364cc9c640f4ccf77a919b0bf60 (
plain) (
blame)
1
2
3
4
5
|
time = @{ ASCII_DIGIT+ }
duration = @{ ASCII_DIGIT+ ~ ("." ~ ASCII_DIGIT+)? }
command = @{ ANY* }
line = ${ SOI ~ (": " ~ time ~ ":" ~ duration ~ ";")? ~ command ~ "\n"? ~ EOI }
|