Arc Forumnew | comments | leaders | submitlogin
2 points by akkartik 1475 days ago | link | parent

Thanks for those comments!

Yeah you're right. I'm going to switch to everywhere.

Edit 15 minutes later: all done, though the commit histories are a mess. Let me know if I missed renaming the script in any places!

2 points by Oscar-Belletti 1473 days ago | link

"Thanks for those comments!"

You're welcome.

I'll certainly tell you if I find some references to the old "arc" name.