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