宋文武 37e74d8cc0 noweb: some fixes ... install libs to $out/lib/noweb don't sed on binaries, eg markup		2014-03-12 18:54:50 +08:00
..
default.nix	noweb: some fixes	2014-03-12 18:54:50 +08:00
no-FAQ.patch	noweb-2.11b	2010-06-22 19:49:06 +00:00