diff options
| author | Jim Fehrle | 2020-04-28 22:18:21 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-06-08 16:50:53 -0700 |
| commit | 12540e172c890ebae65c6660e932af650ab0a800 (patch) | |
| tree | 82bba06d972b1362a34392a4a11abf006f4f7fd6 /dev/include | |
| parent | 485054ab819d9b1607baa671836d48f6ea84969f (diff) | |
Report an error for empty (sub)productions
(Sphinx notations don't support these.)
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions