Great! Here's a power git tip: git grep (much faster than grep)
On Wed, Sep 30, 2020 at 11:56 AM <[email protected]> wrote: > > With help from Fernando, there is now a git repository > for s7: > > [email protected]:bil/s7.git > https://cm-gitlab.stanford.edu/bil/s7.git > > > _______________________________________________ > Cmdist mailing list > [email protected] > https://cm-mail.stanford.edu/mailman/listinfo/cmdist _______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
