| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | gnu: noweb: Declare a source file-name. | Efraim Flashner | 2020-01-19 |
| * | 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 | 2020-01-16 |
| * | gnu: Use 'modify-phases' syntax. | Kei Kebreau | 2017-09-20 |
| * | gnu: Some cleanup based on lint checkers. | Eric Bavier | 2014-10-26 |
| * | gnu: Add noweb. | Ludovic Courtès | 2013-07-03 |