On Fri, Jun 21, 2024 at 2:50 PM Antonio Borneo <borneo.anto...@gmail.com> wrote:
> > > On Fri, Jun 21, 2024 at 2:42 PM <k...@aspodata.se> wrote: > >> ... >> >> Strange that jimtcl/DEVELOPING says that: >> >> Jim's sources are kept in Git Version Control System. Global repository of >> Jim project is placed on this Web site: >> >> http://repo.or.cz/w/jimtcl.git >> > > I will inform the developer. > He used to push in repo.or.cz, but this server has always been unstable. > At a certain point he decided to stop updating it and to only use his > github. > The documention of Jimtcl has been updated https://github.com/msteveb/jimtcl/blob/master/CONTRIBUTING.md Antonio