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

	Commit message (Collapse)	Author	Age	Files	Lines
*	aux/ci/report.sh: Use getopts for arguments	EuAndreh	2021-06-26	2	-3/+25
\|
*	aux/: Explicitly pass "public/" as a parameter to scripts	EuAndreh	2021-06-23	2	-6/+7
\|
*	git grep -l PACKAGE aux/ \| xargs sed -i 's/PACKAGE/PROJECT/g'	EuAndreh	2021-06-23	3	-9/+9
\|
*	aux/ci/report.sh: Fetch only CI-related notes	EuAndreh	2021-06-19	1	-1/+4
\|
*	aux/: Update	EuAndreh	2021-06-14	2	-3/+5
\|
*	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
*	Add base skeleton project files	EuAndreh	2021-03-21	4	-0/+158