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

	Commit message (Collapse)	Author	Age	Files	Lines
*	aux/: Update, adjust Makefile	EuAndreh	2021-07-27	4	-27/+75
\|
*	aux/: Update files	EuAndreh	2021-06-11	4	-75/+80
\|
*	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
\|
*	Update files under aux/	EuAndreh	2021-03-06	1	-0/+9
\|
*	Add base project skeleton files	EuAndreh	2021-03-06	4	-0/+149