diff options
author | Ville Penttinen <[email protected]> | 2019-03-05 09:28:53 +0000 |
---|---|---|
committer | Ville Penttinen <[email protected]> | 2019-03-05 09:31:25 +0000 |
commit | eb1ac43867921501723457846f7aaaa36cd4ebdd (patch) | |
tree | bd835b7ceb245823d5ddd7bd725c99463e798774 /crates/ra_mbe | |
parent | 1f4468a8dae10db4f500bde3c1708228de6137b6 (diff) |
Introduce pattern_list to parse pipe separated patterns
pattern_list comes in two variants, one uses the default PAT_RECOVERY_SET as the
recovery set, while other allows the user to provide a recovery set.
Diffstat (limited to 'crates/ra_mbe')
0 files changed, 0 insertions, 0 deletions