log dev/patch/patch.sh @ 366:17a538fc8c8a

age author description
Mon, 11 Mar 2019 15:44:15 +0100 David Demelier dev: merge .sh and .info
Sat, 09 Mar 2019 15:26:18 +0100 David Demelier dev/patch: initial import, closes #1039