diff options
| author | Mads Kjeldgaard <mail@madskjeldgaard.dk> | 2021-12-28 18:43:06 +0100 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-01-05 12:07:20 +0100 |
| commit | e81a60b6927521f7dc218ddb00e2c7fb6b1d797d (patch) | |
| tree | b4b013e23b584e60708c61d0cdce1db2988512fa /.github | |
| parent | f7d4ba2ac96fea1a1f23f9e9bf8dd2eb03ceaaee (diff) | |
fix: Remove pi_statement from highlight to sync up with upstream change
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions