log docs/tutorial/testlib/push-checkheads-util.sh @ 4199:5596071078b7 stable

age author description
Mon, 08 Jan 2018 11:46:53 +0100 Boris Feld doc: import the training support