Allow multiple spaces after attribute in location header

This commit is contained in:
Midgard 2020-02-24 18:33:59 +01:00
parent 2b962e99d4
commit 0bfcf658db
Signed by: midgard
GPG key ID: 511C112F1331BBB4

View file

@ -22,7 +22,7 @@ location_header =
; ;
location_attribute = location_attribute =
n '\t' key:identifier ' ' value:string n '\t' key:identifier s value:string
; ;
location = >location_header items:{ block } ; location = >location_header items:{ block } ;