diff options
| author | Maxime Dénès | 2020-05-09 12:53:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-05-09 12:53:20 +0200 |
| commit | 3a7ff44f1ffaff3a8bb8c5a9c95a9b102e31c476 (patch) | |
| tree | 9476ed11d9d31912c85760e185e1410513fc4824 /dev | |
| parent | 1bf9ba682e74391cf853e9b87ae40fac5b3b17b3 (diff) | |
| parent | 1322e8356087d4ad19bbec13968f456222667ab2 (diff) | |
Merge PR #12122: Avoid registering as keywords the #... in Primitive
Ack-by: SkySkimmer
Reviewed-by: maximedenes
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions