log dev/make/make.sh @ 202:5de141a57786

age author description
Mon, 11 Mar 2019 20:36:00 +0100 David Demelier vanilla: general cleanup
Mon, 11 Mar 2019 20:30:00 +0100 David Demelier vanilla: remove useless --target
Mon, 11 Mar 2019 15:44:15 +0100 David Demelier dev: merge .sh and .info
Thu, 07 Mar 2019 20:10:00 +0100 David Demelier dev/make: add NLS and GUILE options
Wed, 06 Mar 2019 20:15:00 +0100 David Demelier dev/make: initial import, closes #1085