diff options
| author | Jakob Unterwurzacher | 2021-06-21 12:12:44 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2021-06-21 12:12:44 +0200 |
| commit | 05b813f2026ebe6bff33cb600775823ee8a7df6e (patch) | |
| tree | 824954a84a35dde6411fabde1be4dc7c004fc51d /profiling | |
| parent | 689b74835bd38ebaf87ba0e205c10b9594e51863 (diff) | |
nametransform: rename BadNameFlag to BadnameSuffix
Diffstat (limited to 'profiling')
0 files changed, 0 insertions, 0 deletions