Closed Variadicism-zz closed 10 years ago
I guess you were using that after the GitHub confusion earlier to re-add the stuff I accidentally overwrote, but does it serve any purpose any more? Can it be deleted now?
Yes, I thought I deleted it :3 As it's not deleted apparently, you can.
I guess you were using that after the GitHub confusion earlier to re-add the stuff I accidentally overwrote, but does it serve any purpose any more? Can it be deleted now?