aboutsummaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions
ere, use "gnu-standards-src" as the file-name, rather than the default, which is "cvs-checkout". Chris Marusich 2017-03-30gnu: Use HTTPS for almost all gnu.org HOME-PAGEs....All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS. Tobias Geerinckx-Rice 2016-04-01gnu: 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-01gnu: 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