diff options
| author | gingerBill <bill@gingerbill.org> | 2024-02-08 14:03:03 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2024-02-08 14:03:03 +0000 |
| commit | 7b672ac72a623310403716a229598ed0e6d5a688 (patch) | |
| tree | df39d589930eaa683252fbdce258f626a653b9dd /src/bug_report.cpp | |
| parent | 8f4ab3c07dd8c9cc5c188203f718eed3942bbe8b (diff) | |
Disallow mixture of polymorphic $ names and normal identifiers within record parameters
Diffstat (limited to 'src/bug_report.cpp')
0 files changed, 0 insertions, 0 deletions