On Tue, Feb 23, 2010 at 5:03 PM, Nick Alexander <ncalexan...@gmail.com> wrote: >> $ git grep Sage > > I think that "git grep sage" (really, case insensitive) is probably > necessary too, since we have changed cases many times.
The capitalization "SAGE" was also used previously before the switch to "Sage". -- Regards Minh Van Nguyen -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
