log dev/patch/patch.sh @ 144:636e42cf3cd5

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