Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.236 as permitted sender) client-ip=173.13.139.236;
Date: Mon, 5 Sep 2016 00:19:40 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] HELP: git clone of lojban/jbofihe?
Message-ID: <20160905071940.GT29323@stodi.digitalkingdom.org>
Mail-Followup-To: lojban@googlegroups.com
References: <20160905070016.GR29323@stodi.digitalkingdom.org>
 <CAAtyx0XcTrD=PPznQyE33Qtw7ErMcdA82f0TKBrvF0dDq2tBzg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
In-Reply-To: <CAAtyx0XcTrD=PPznQyE33Qtw7ErMcdA82f0TKBrvF0dDq2tBzg@mail.gmail.com>
User-Agent: Mutt/1.5.24 (2015-08-30)
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

OK, so it was the super-old version.  Thanks!

On Mon, Sep 05, 2016 at 09:07:24AM +0200, Johannes L=C3=B6thberg wrote:
> It had the same commits that are on the master branch there right now,
> other than the two merges you did.
>=20
> On Mon, Sep 5, 2016 at 9:00 AM, Robin Lee Powell <
> rlpowell@digitalkingdom.org> wrote:
>=20
> >
> > 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 Grou=
ps
> > "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.
> >
>=20
> --=20
> 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.

--=20
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 e=
mail 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.