Updated maintenance scripts
authorSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Sun, 20 Feb 2022 18:55:15 +0000 (20:55 +0200)
committerSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Sun, 20 Feb 2022 18:55:15 +0000 (20:55 +0200)
commit24bdc9b5da08abff29ae1cf9199ed06668e49cc4
tree8b0273c835d92588fdab5c3d84189422080c74bc
parent6df8ead7c2fdfe12e2b71d25edcab0abf4b93c89
Updated maintenance scripts

So that they work with latest Gnome Terminal
tools/commit and push
tools/update web site