Hi Pedro, On Mon, Mar 19, 2012 at 12:31:29PM -0500, Pedro Giffuni wrote: > On 03/19/12 11:55, Jürgen Schmidt wrote: > >... > >That said ... > >>if we had an updated OpenGrok or a real equivalent it would be > >>a lot easier. > >of course a working OpenGrok would be nice. We have a local > >instance running that gets updated every night but that doesn't > >help you at the moment :-( > > > > I found a replacement: ;) > > ____ > grep -R GPL main/*
git has its internal grep command: http://people.apache.org/~arielch/git-grep-GPL.txt Regards -- Ariel Constenla-Haile La Plata, Argentina
pgpaZ8liaixwJ.pgp
Description: PGP signature
