empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix whitespace: space before tab

Browse source
This commit is contained in:
Markus Armbruster 2008-09-17 19:29:42 -04:00
parent db4770426e
commit a9653c475b
17 changed files with 28 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/xdump
View file

@ -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 ;