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

	Commit message (Collapse)	Author	Age	Files	Lines
*	aux/: Update, adapt Makefile accordingly	EuAndreh	2021-06-26	1	-1/+1
\|
*	Makefile, README.md: Adapt to changes in aux/	EuAndreh	2021-06-26	1	-3/+3
\|
*	aux/ci/ci-build.sh: Use -v on rsync	EuAndreh	2021-06-13	1	-1/+1
\|
*	Update files under aux/	EuAndreh	2021-06-07	1	-2/+4
\|
*	aux/: Use tabs over spaces for .sh files	EuAndreh	2021-06-06	1	-36/+36
\|
*	aux/ci/ci-build.sh: Run build target before tests, so we have HTML files ↵	EuAndreh	2021-03-23	1	-7/+1
\| \| \| \|	when tests fail
*	Revert change to aux/ci/ci-build.sh	EuAndreh	2021-03-10	1	-1/+1
\|
*	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
\|
*	aux/ci/ci-build.sh: Don't --delete on trap to avoid deleting pages in case ↵	EuAndreh	2021-02-24	1	-1/+1
\| \| \| \|	of failure
*	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
\|
*	Generate report.sh after CI finishes	EuAndreh	2021-02-18	1	-0/+7
\|
*	Update files under aux/	EuAndreh	2021-02-17	1	-7/+8
\|
*	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	1	-0/+53