-redeploying the site?
Ariel Rabkin 2013-04-12, 16:06
I pushed website changes last night, as per Luciano's patches. I
notice the deployed site hasn't changed, even though the copy on
is correct. What did I do wrong?
Ari Rabkin [EMAIL PROTECTED]
Princeton Computer Science Department