| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | gnu: Use HTTPS for almost all gnu.org HOME-PAGEs. | Tobias Geerinckx-Rice | 2017-03-30 |
| | | | | | All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS. | ||
| * | gnu: move miscfiles into gnu-doc.scm | Jan Nieuwenhuizen | 2016-04-01 |
| | | | | | | | | | * gnu/packages/miscfiles.scm: Remove file. * gnu-sytem.am: Remove it. * gnu/packages/gnu-doc.scm (miscfiles): Move here. Signed-off-by: Ludovic Courtès <ludo@gnu.org> | ||
| * | gnu: Add gnu-standards. | Jan Nieuwenhuizen | 2016-04-01 |
| * gnu/packages/gnu-doc.scm: New file. * gnu-system.am: Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org> | |||