2020-07-12 | Ludovic Courtès | gnu: Remove ".git" from "https://github/…/….git". | blob | commitdiff | raw |
2019-11-16 | Mathieu Othacehe | Merge remote-tracking branch master into core-updates | blob | commitdiff | raw | diff to current |
2019-11-15 | Marius Bakke | Merge branch 'master' into staging | blob | commitdiff | raw | diff to current |
2019-11-10 | Efraim Flashner | gnu: Add 'file-name' where appropriate. | blob | commitdiff | raw | diff to current |
2019-03-04 | Marius Bakke | Merge branch 'staging' into core-updates | blob | commitdiff | raw | diff to current |
2019-03-04 | Marius Bakke | Merge branch 'master' into staging | blob | commitdiff | raw | diff to current |
2019-03-04 | Ricardo Wurmus | gnu: Add java-jblas. | blob | commitdiff | raw | diff to current |