mirror of
https://gitee.com/openharmony/third_party_rust_nom
synced 2024-11-27 01:30:32 +00:00
6e45c5d1f3
* Remove duplicated section from error_management.md The section explaining the three different error types was duplicated (with minimal changes between the two sections). This (small) PR removes the redundancy. * Update doc/error_management.md Co-authored-by: Geoffroy Couprie <geo.couprie@gmail.com> |
||
---|---|---|
.. | ||
archive | ||
choosing_a_combinator.md | ||
custom_input_types.md | ||
error_management.md | ||
home.md | ||
making_a_new_parser_from_scratch.md | ||
nom_recipes.md | ||
upgrading_to_nom_5.md |