1
Fork 0

rename :pat2018 -> :pat215

This commit is contained in:
mark 2021-03-22 12:40:23 -05:00
parent d04c3aa865
commit 8c4b3dbb50
9 changed files with 21 additions and 21 deletions

View file

@ -845,7 +845,7 @@ symbols! {
partial_ord,
passes,
pat,
pat2018,
pat2015,
pat2021,
path,
pattern_parentheses,