remembering - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	ci-build.sh: Publish CI logs even when "dev-check" fails	EuAndreh	2021-03-09	1	-1/+1
*	ci-build.sh: Also omit output of second rsync	EuAndreh	2021-03-06	1	-1/+1
*	Suppress rsync stderr from CI logs	EuAndreh	2021-03-06	1	-1/+1
*	Add assert-changelog.sh; change dependency of check -> dev-check targets	EuAndreh	2021-02-28	1	-1/+1
*	Update files under aux/ci/	EuAndreh	2021-02-25	2	-3/+3
*	aux/ci/ci-build.sh: Don't --delete on trap to avoid deleting pages in case of...	EuAndreh	2021-02-24	1	-1/+1
*	aux/ci/ci-build.sh: Capture stderr properly	EuAndreh	2021-02-23	1	-1/+1
*	aux/ci/ci-build.sh: Remove checking for ./configure file	EuAndreh	2021-02-23	1	-7/+1
*	Update aux/ files	EuAndreh	2021-02-21	1	-0/+1
*	report.sh: Remove set -x option	EuAndreh	2021-02-18	1	-1/+1
*	Generate report.sh after CI finishes	EuAndreh	2021-02-18	2	-1/+8
*	Update files under aux/	EuAndreh	2021-02-17	2	-7/+77
*	aux/ci/: Use /srv over /data path	EuAndreh	2021-01-30	2	-4/+4
*	aux/ci/ci-build.sh: Remove --enable-(ci\|programmer)-mode	EuAndreh	2021-01-30	1	-1/+1
*	mv build-aux/ aux/	EuAndreh	2021-01-27	3	-0/+86