| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | gnu: Use HTTPS for almost all gnu.org HOME-PAGEs. | Tobias Geerinckx-Rice | 2017-03-30 |
| * | gnu: gflags: Update to 2.2.0. | Marius Bakke | 2017-01-21 |
| * | gnu: Update URLs for sourceforge.net. | Leo Famulari | 2016-07-21 |
| * | gnu: Add gengetopt. | Ricardo Wurmus | 2016-06-15 |
| * | gnu: Add gflags. | Ludovic Courtès | 2016-06-03 |
| * | gnu: Add argtable. | Ricardo Wurmus | 2015-04-01 |
| * | gnu: Fix or update a number of 'home-page' fields. | Ludovic Courtès | 2014-12-28 |
| * | gnu: Add popt. | Ludovic Courtès | 2013-02-12 |