diff options
| author | Eduardo Julian | 2022-04-08 21:59:08 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-08 21:59:08 -0400 |
| commit | ab99de20a3d0566a71bf0ef607d9d6e291d7f62a (patch) | |
| tree | 3755ede88eebb40e76291b45d0e3be4fdfb68621 /.github/workflows | |
| parent | 120ebb44dbb1a20fc150e5e58099f90be2e61d49 (diff) | |
Removed (mostly useless) pattern-matching macro for abstract types.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions