diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2010-08-10 20:41:28 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2010-08-10 20:41:28 +0000 |
| commit | e0e08d3c80cb0db98cd1710f35fd52b6274ef88e (patch) | |
| tree | 2ea1a5de04dad7809eea2a6d9788707f0b15f660 /src/include/optimizer | |
| parent | 65559c385d1ffb7e7744bd501ef216fa7348638d (diff) | |
<example> is a floating element, so it's use is inappropriate when the
surrounding text refers to the example inline.
Diffstat (limited to 'src/include/optimizer')
0 files changed, 0 insertions, 0 deletions