+bin/cherry* for Jenkins.
authorJan Kratochvil <jan@jankratochvil.net>
Mon, 18 Jul 2022 15:05:04 +0000 (17:05 +0200)
committerJan Kratochvil <jan@jankratochvil.net>
Mon, 18 Jul 2022 15:05:04 +0000 (17:05 +0200)
commit43ea3d5a4c057b1e84fe32d44ede7e6c34033fec
treeba970408045c7f5444c9e609444a7cdfca32e7d8
parenta582872252d3bf623d1e49a7c8dfd4fa910468ce
+bin/cherry* for Jenkins.
bin/cherrycompare [new file with mode: 0755]
bin/cherrydownload [new file with mode: 0755]
bin/cherryfilter [new file with mode: 0755]