Re: [be] bibledit 3.7.20 available in git repository

[Teus Benschop]

It looks something unusual happened in the repository. I would recommend
doing a fresh checkout, that is, throwing away whatever local repository
is there now. Teus.

On Sun, 2009-05-10 at 21:55 -0400, Birch Champeon wrote:
> git pull
> Already up-to-date.
> 
> On Sun, May 10, 2009 at 9:29 PM, Teus Benschop
> <address@hidden> wrote:
>         On Sat, 2009-05-09 at 21:11 -0400, Birch Champeon wrote:
>         > When I  git reset --hard
>         > it says:
>         > HEAD is now at f1dbbfd better undo (with rough edges)
>         
>         
>         And when you "git pull", what does it say?
>         
>         > Then when I make install it only installs at 3.7.3
>         >
>         > Shouldn't be installing 3.7.20 ?
>         
>         
>         Yes, it should.
>         
>         If nothing works, checking out a fresh repository may be an
>         option left
>         to you.
>         
>         Teus.
>         
>         
>         
>         
>