diff options
| author | Tom Lane | 2019-03-23 21:40:19 +0000 |
|---|---|---|
| committer | Tom Lane | 2019-03-23 21:40:19 +0000 |
| commit | 06c320c8af6adce28a6634faaf46e320085ebfcd (patch) | |
| tree | 7d6f92fb3fbcce2a1cec456d410966b30f184ceb /src/tutorial | |
| parent | 809cccc3547462cd6b9a110ac82a5a60b9ee8587 (diff) | |
Remove inadequate check for duplicate "xml" PI.
I failed to think about PIs starting with "xml". We don't really
need this check at all, so just take it out. Oversight in
commit 8d1dadb25 et al.
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions