diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-15 18:53:12 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-15 18:53:12 -0800 |
| commit | 7c77f5d6f45a0e888b16995a9c396a8161a688bb (patch) | |
| tree | 89311a9d231ae0d209aae65b5cb8310a6c89042a /types.h | |
| parent | dc38cde3c7a47517d0e65f272d5752794fe2140d (diff) | |
Rename destroy_op -> destroy_pat
Diffstat (limited to 'types.h')
0 files changed, 0 insertions, 0 deletions