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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions