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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Revamp CI: simpler variant of the same functionality	EuAndreh	2023-04-01	1	-75/+222
\| \| \| \| \| \| \| \| \|	Notes: See CI logs with: git notes --ref=refs/notes/ci-logs show 1a3208d43f837768e18219ca4e79fe31bf748865 git notes --ref=refs/notes/ci-data show 1a3208d43f837768e18219ca4e79fe31bf748865 Exit status: 2 Duration: 4
*	aux/: Update	EuAndreh	2021-09-01	1	-24/+30
\|
*	aux/: Update	EuAndreh	2021-07-23	1	-7/+4
\|
*	aux/: Update, adapt Makefile accordingly	EuAndreh	2021-06-26	1	-2/+24
\|
*	Makefile, README.md: Adapt to changes in aux/	EuAndreh	2021-06-26	1	-5/+6
\|
*	aux/ci/report.sh: Don't override signatures notes ref	EuAndreh	2021-06-19	1	-1/+4
\|
*	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/: Use tabs over spaces for .sh files	EuAndreh	2021-06-06	1	-35/+35
\|
*	aux/: Add favicon to generated HTML files	EuAndreh	2021-06-06	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	1	-1/+1
\|
*	Update files under aux/	EuAndreh	2021-02-17	1	-0/+69