diff options
author | István Donkó | 2023-03-03 16:03:03 +0000 |
---|---|---|
committer | GitHub | 2023-03-03 16:03:03 +0000 |
commit | 2d5577dbe6b353bd266154ab693ffedc521afee0 (patch) | |
tree | 9de14fd385b53e7440a3d3d50c7476e170bda166 /runtime/queries/ponylang | |
parent | ddc5bf4e606230dd8bc20c59b1cc114e93bbf1c0 (diff) |
Extend the set of tags highlighted in comments (#6143)
Diffstat (limited to 'runtime/queries/ponylang')
0 files changed, 0 insertions, 0 deletions