Thomas Mader 2616568541 Literate: 2017-05-28 -> 2018-08-20

2018-08-21 08:07:33 +02:00

..

eweb

use the sourceforge mirrors everywhere

2016-02-28 12:07:42 +00:00

funnelweb

Funnelweb: init at 3.20

2015-10-25 03:40:50 -02:00

Literate

Literate: 2017-05-28 -> 2018-08-20

2018-08-21 08:07:33 +02: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