2023-12-07 01:31:08 +01:00
|
|
|
prefixes:
|
2023-12-24 18:32:37 +01:00
|
|
|
- id: "**"
|
2023-12-07 01:31:08 +01:00
|
|
|
spaced: false
|
2023-12-24 18:32:37 +01:00
|
|
|
- id: cdebug
|
2023-12-09 23:00:36 +01:00
|
|
|
spaced: true
|
2023-12-24 18:32:37 +01:00
|
|
|
- id: d
|
2023-12-16 07:06:19 +01:00
|
|
|
spaced: false
|