Age | Commit message (Expand) | Author |
---|---|---|
2020-01-19 | gnu: noweb: Declare a source file-name. | Efraim Flashner |
2020-01-16 | gnu: noweb: Update to 2.12. | Tobias Geerinckx-Rice |
2020-01-16 | gnu: noweb: Embed store references to external binaries. | Tobias Geerinckx-Rice |
2020-01-16 | gnu: noweb: Use HTTPS home page. | Tobias Geerinckx-Rice |
2017-09-20 | gnu: Use 'modify-phases' syntax. | Kei Kebreau |
2014-10-26 | gnu: Some cleanup based on lint checkers. | Eric Bavier |
2013-07-03 | gnu: Add noweb. | Ludovic Courtès |