diff options
| author | Clément Pit-Claudel | 2019-05-10 22:26:22 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-05-12 22:00:08 -0400 |
| commit | f3f758896b82d34acd0e42a65f08a5cb80aa0da9 (patch) | |
| tree | 2444816d252ebcb76db0fb24816493aab6ba2936 /doc/sphinx | |
| parent | a101fdc131bd5d7a8ed1470cd7fa705ad6979e92 (diff) | |
[refman] Raise an error when a notation doesn't parse
Diffstat (limited to 'doc/sphinx')
0 files changed, 0 insertions, 0 deletions