tree cf317f712e195ef4222e5cd635376509826b8492
parent 60158ccbaac3eed081d94357065e94caabb3b553
author Kareem Farid <karimmhany@gmail.com> 1669812706 +0200
committer Kareem Farid <karimmhany@gmail.com> 1669812706 +0200

wrap unwrapped !RN and !SETN in quotations