diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-09-20 13:39:07 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-09-20 13:39:07 -0400 |
| commit | abf8a0434cb1c1ab22a50182ffdc6cf0c4645523 (patch) | |
| tree | 4c2cf290654b5b11523bc25156ecfac5ca17f0f1 /include | |
| parent | 3f8929c83b451837fcd9dc9475534c0e78967ab2 (diff) | |
Laxer wildcard restriction for signatures
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions