]> git.pond.sub.org Git - empserver/blobdiff - doc/xdump
Fix whitespace: space before tab
[empserver] / doc / xdump
index 8c1705dc3e4d12143e2e0248eb165418abb398d1..e0adf04b5eee59b99179cd1039ba571eff6e98ad 100644 (file)
--- a/doc/xdump
+++ b/doc/xdump
@@ -172,7 +172,7 @@ use '-' in meta-identifiers and omit the concatenation symbol ','.
 
     table = header { record } footer ;
     header = "XDUMP" space [ "meta" space ]
-            identifier space timestamp newline ;
+            identifier space timestamp newline ;
     identifier = id-chr { id-chr } ;
     id-char = ? ASCII characters 33..126 except '"#()<>=' ? ;
     timestamp = intnum ;