[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] HELP: git clone of lojban/jbofihe?
OK, so it was the super-old version. Thanks!
On Mon, Sep 05, 2016 at 09:07:24AM +0200, Johannes Löthberg wrote:
> It had the same commits that are on the master branch there right now,
> other than the two merges you did.
>
> On Mon, Sep 5, 2016 at 9:00 AM, Robin Lee Powell <
> rlpowell@digitalkingdom.org> wrote:
>
> >
> > So I've made https://github.com/lojban/jbofihe/ with the intent of
> > this being the master version.
> >
> > Apparently, though, this already existed!
> >
> > https://github.com/zorun/jbofihe/commit/f926b178d85aebad6f76603464fe21
> > b5ed7970f2#diff-2045016cb90d1e65d71c2407a2570927R79
> >
> > ^^ that commit is 4 years ago
> >
> > Does anyone have a git clone of whatever version of jbofihe used to
> > exist there??
> >
> > --
> > You received this message because you are subscribed to the Google Groups
> > "lojban" group.
> > To unsubscribe from this group and stop receiving emails from it, send an
> > email to lojban+unsubscribe@googlegroups.com.
> > To post to this group, send email to lojban@googlegroups.com.
> > Visit this group at https://groups.google.com/group/lojban.
> > For more options, visit https://groups.google.com/d/optout.
> >
>
> --
> You received this message because you are subscribed to the Google Groups "lojban" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
> To post to this group, send email to lojban@googlegroups.com.
> Visit this group at https://groups.google.com/group/lojban.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.