log

age author description
Mon, 11 Mar 2019 20:30:00 +0100 David Demelier vanilla: remove useless --target
Mon, 11 Mar 2019 20:22:00 +0100 David Demelier system: merge .sh and .info