2014-10-26 | Eric Bavier | gnu: Some cleanup based on lint checkers. | blob | commitdiff | raw |
2013-07-09 | Ludovic Courtès | Merge branch 'core-updates' | blob | commitdiff | raw | diff to current |
2013-07-03 | Ludovic Courtès | gnu: Add noweb. | blob | commitdiff | raw | diff to current |