[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
www/server home-pkgselect.html
From: |
GNUN |
Subject: |
www/server home-pkgselect.html |
Date: |
Fri, 26 Jan 2018 11:33:31 -0500 (EST) |
CVSROOT: /web/www
Module name: www
Changes by: GNUN <gnun> 18/01/26 11:33:31
Modified files:
server : home-pkgselect.html
Log message:
Automatic blurbs rotation.
CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/www/server/home-pkgselect.html?cvsroot=www&r1=1.1550&r2=1.1551
Patches:
Index: home-pkgselect.html
===================================================================
RCS file: /web/www/www/server/home-pkgselect.html,v
retrieving revision 1.1550
retrieving revision 1.1551
diff -u -b -r1.1550 -r1.1551
--- home-pkgselect.html 25 Jan 2018 16:31:29 -0000 1.1550
+++ home-pkgselect.html 26 Jan 2018 16:33:30 -0000 1.1551
@@ -1,8 +1,8 @@
<!-- home-pkgselect.html begins -->
-<!-- Automatically generated by select-blurbs.awk on Thu Jan 25 11:31:28 EST
2018 -->
+<!-- Automatically generated by select-blurbs.awk on Fri Jan 26 11:33:30 EST
2018 -->
<!-- Next selections are going to be:
- liberty-eiffel guile-gnome nettle gcc tramp shepherd mailutils pies
- gcl libunistring shmm wdiff libdbh glpk mcsim java-getopt libmatheval
+ guile-gnome nettle gcc tramp shepherd mailutils pies gcl libunistring
+ shmm wdiff libdbh glpk mcsim java-getopt libmatheval vera
-->
-<!--#set var="pkg_selection" value=":dejagnu:" -->
+<!--#set var="pkg_selection" value=":liberty-eiffel:" -->
<!-- home-pkgselect.html ends -->
- www/server home-pkgselect.html, (continued)
- www/server home-pkgselect.html, GNUN, 2018/01/16
- www/server home-pkgselect.html, GNUN, 2018/01/17
- www/server home-pkgselect.html, GNUN, 2018/01/18
- www/server home-pkgselect.html, GNUN, 2018/01/19
- www/server home-pkgselect.html, GNUN, 2018/01/20
- www/server home-pkgselect.html, GNUN, 2018/01/21
- www/server home-pkgselect.html, GNUN, 2018/01/22
- www/server home-pkgselect.html, GNUN, 2018/01/23
- www/server home-pkgselect.html, GNUN, 2018/01/24
- www/server home-pkgselect.html, GNUN, 2018/01/25
- www/server home-pkgselect.html,
GNUN <=
- www/server home-pkgselect.html, GNUN, 2018/01/27
- www/server home-pkgselect.html, GNUN, 2018/01/28
- www/server home-pkgselect.html, GNUN, 2018/01/29
- www/server home-pkgselect.html, GNUN, 2018/01/30
- www/server home-pkgselect.html, GNUN, 2018/01/31