log dev/autoconf/autoconf.sh @ 389:65eac7e33a2a

age author description
Mon, 11 Mar 2019 15:44:15 +0100 David Demelier dev: merge .sh and .info
Tue, 26 Feb 2019 20:12:00 +0100 David Demelier dev/autoconf: initial import, closes #1070