tree 86f445b36444f9a97d22a5d10e1d27af0b40108d
parent b98516ecf074c1e2dcd7f8641a4895af5fa8be5b
author Kareem Farid <karimmhany@gmail.com> 1669811905 +0200
committer Kareem Farid <karimmhany@gmail.com> 1669811905 +0200

wrap unwrapped !RN and !SETN in quotations