Robin Gloster 65395a7105 treewide: installTargets is a list

2019-12-30 13:29:27 +01: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: 2018-12-23 -> 2019-01-08

2019-01-09 08:07:34 +01:00

noweb

treewide: installTargets is a list

2019-12-30 13:29:27 +01:00

nuweb

treewide: name -> pname (easy cases) (#66585)

2019-08-15 13:41:18 +01:00