| commit | 550d045875739986fa00fd67d5557a863c8a2d48 | [log] [tgz] |
|---|---|---|
| author | Kevin Moore <kevmoo@users.noreply.github.com> | Wed Feb 15 17:37:50 2023 -0800 |
| committer | GitHub <noreply@github.com> | Wed Feb 15 17:37:50 2023 -0800 |
| tree | b89f58c883a000fa1544677209da990bb764cbf7 | |
| parent | a74bc096ece009d0a5a7951f3a141c45b285fdc9 [diff] |
Use $prefix for namespaces, mark them abstract, fix naming of extensions (#13) Avoids making types private Remove associated ignores from analysis options Fix naming of extensions, and remove lint ignore