Jörg Thalheim 916f1a0b8d Literate: adapt to nixpkgs standards		2017-08-27 07:28:30 +01:00
..
eweb
funnelweb
Literate	Literate: adapt to nixpkgs standards	2017-08-27 07:28:30 +01:00
noweb	noweb: remove obsolete substituteInPlace	2016-08-27 21:54:55 +00:00
nuweb	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00