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

	Commit message (Collapse)	Author	Age	Files	Lines
*	aux/ci/report.sh: Add missing close quote	EuAndreh	2021-06-13	1	-1/+1
\|
*	aux/ci/report.sh: Add link to homepage on generated HTML	EuAndreh	2021-06-13	1	-3/+4
\|
*	aux/ci/report.sh: Include title in the generated HTML page	EuAndreh	2021-06-13	1	-0/+1
\|
*	aux/ci/ci-build.sh: Use -v on rsync	EuAndreh	2021-06-13	1	-1/+1
\|
*	Update files under aux/	EuAndreh	2021-06-07	2	-6/+10
\|
*	aux/: Use tabs over spaces for .sh files	EuAndreh	2021-06-06	4	-78/+78
\|
*	aux/: Add favicon to generated HTML files	EuAndreh	2021-06-06	1	-0/+1
\|
*	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
\|
*	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 ↵	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
\|
*	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