log core/texinfo/texinfo.sh @ 147:605b4a7b264a

age author description
Mon, 11 Mar 2019 20:36:00 +0100 David Demelier vanilla: general cleanup
Mon, 11 Mar 2019 14:59:13 +0100 David Demelier core: merge .sh and .info
Sat, 09 Mar 2019 14:14:16 +0100 David Demelier core/texinfo: initial import, closes #1175