It takes a while, a few hours. for things to show up. Also, I had to do a shift-click on my chrome browser to pick up the changes.
On Apr 12, 2013, at 9:06 AM, Ariel Rabkin <[EMAIL PROTECTED]> wrote:
> Hi all.
> 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