| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.•••All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS.
| Tobias Geerinckx-Rice | 2017-03-30 | 1 | -1/+1 |
| * | gnu: move miscfiles into gnu-doc.scm•••* 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>
| Jan Nieuwenhuizen | 2016-04-01 | 1 | -0/+27 |
| * | gnu: Add gnu-standards.•••* gnu/packages/gnu-doc.scm: New file.
* gnu-system.am: Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| Jan Nieuwenhuizen | 2016-04-01 | 1 | -0/+74 |
