| 70923245 | gnu: noweb: Update to 2.13. | Tobias Geerinckx-Rice | 2023-08-13 00:00 |
| 74f707d7 | gnu: noweb: Use G-expressions. | Tobias Geerinckx-Rice | 2023-08-13 00:00 |
| 6ccf8ea8 | Merge branch 'master' into core-updates | Efraim Flashner | 2021-12-19 13:15 |
| 9cd32821 | gnu: noweb: Declare a source file-name. | Efraim Flashner | 2020-01-19 07:31 |
| dc26c8c5 | gnu: noweb: Update to 2.12. | Tobias Geerinckx-Rice | 2020-01-16 18:51 |
| bd9f588b | gnu: noweb: Embed store references to external binaries. | Tobias Geerinckx-Rice | 2020-01-16 18:51 |
| 2c31cf87 | gnu: noweb: Use HTTPS home page. | Tobias Geerinckx-Rice | 2020-01-16 18:51 |
| c01ef975 | Merge branch 'master' into core-updates | Marius Bakke | 2017-10-10 20:33 |
| 35b9e423 | gnu: Some cleanup based on lint checkers. | Eric Bavier | 2014-10-26 18:03 |
| 6d73e17b | gnu: Add noweb. | Ludovic Courtès | 2013-07-03 13:10 |