diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-06-03 18:07:10 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-06-03 18:07:10 +0200 |
commit | 0cde8fb6cf80f3606ece7b47981ff017eb90d00c (patch) | |
tree | 050bcff2a1eb3b9b5e6d85ae5d8540ac639127ac /test/Tests | |
parent | 9ba958af12500c09170c1de7527d50a60ad58589 (diff) |
Introduce PermR type synonym
Diffstat (limited to 'test/Tests')
0 files changed, 0 insertions, 0 deletions