diff options
author | Tom Lane | 2017-01-27 13:33:58 +0000 |
---|---|---|
committer | Tom Lane | 2017-01-27 13:33:58 +0000 |
commit | 3f6e085fe3a69d325d6af0142df7c99ffc725bd2 (patch) | |
tree | fa431f8fbd8cbbe10eddf16f4dc936994286fe1b /doc/src | |
parent | 15c54e8363a28ab89e31bafebe6b093a77540b1d (diff) |
Orthography fixes for new castNode() macro.
Clean up hastily-composed comment. Normalize whitespace.
Erik Rijkers and myself
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions