Age | Commit message (Expand) | Author |
---|---|---|
2018-02-18 | gnu: Update gnu-standards to 2018-02-18. | Chris Marusich |
2017-03-30 | gnu: Use HTTPS for almost all gnu.org HOME-PAGEs. | Tobias Geerinckx-Rice |
2016-04-01 | gnu: move miscfiles into gnu-doc.scm | Jan Nieuwenhuizen |
2016-04-01 | gnu: Add gnu-standards. | Jan Nieuwenhuizen |