Hi,
would it be possible to add sladmit to the list of highlighted "risky" keywords please?
Just stumbled upon the same situation that is described in #91 with this keyword, while editing some Steel code.
I will add the corresponding minor PR.
Thanks a lot in advance!
cc @R1kM
Hi, would it be possible to add
sladmit
to the list of highlighted "risky" keywords please? Just stumbled upon the same situation that is described in #91 with this keyword, while editing some Steel code. I will add the corresponding minor PR. Thanks a lot in advance! cc @R1kM