2020-08-06 | Efraim Flashner | gnu: v: Remove unnecessary input. | blob | commitdiff | raw |
2020-07-12 | Ludovic Courtès | gnu: Remove ".git" from "https://github/…/….git". | blob | commitdiff | raw | diff to current |
2020-06-23 | Ryan Prior | gnu: Add v. | blob | commitdiff | raw | diff to current |