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 /gentrace.sh | |
| parent | 9ba958af12500c09170c1de7527d50a60ad58589 (diff) | |
Introduce PermR type synonym
Diffstat (limited to 'gentrace.sh')
0 files changed, 0 insertions, 0 deletions