Folks, OpenGrok (https;//svn.open-mpi.org/source) is no more accessible. Is it an intermittent issue ? or did we simply forget to migrate it from UI ?
Config was not really up-to-date (master, v1.8 and obsolete versions iirc) but i found it extremely useful (at least to search info on master) and uses it quite a lot, both from my workstation and tablet requirements can be found at http://opengrok.github.io/OpenGrok/ (and there are some...), so if migration is feasible, let me know if i can help Cheers, Gilles _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
