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

	Commit message (Collapse)	Author	Age	Files	Lines
*	doc/git-permalink.1: Add empty file	EuAndreh	2021-06-12	1	-0/+0
\|
*	mv scripts/git-permalink.in src/git-permalink.sh	EuAndreh	2021-06-12	1	-0/+0
\|
*	Makefile: Add "check" and "dev-check" placeholders; fix (un)install	EuAndreh	2021-06-12	1	-10/+14
\|
*	TODOs.md: Add #task-a66edd2e-cec4-ef7d-5a8a-3c9013381719	EuAndreh	2021-06-12	1	-0/+11
\|
*	TODOs.md: Add #task-cebc5298-17ad-5c60-dfa5-a25b66433a3a	EuAndreh	2021-06-12	1	-0/+14
\|
*	aux/: Update files	EuAndreh	2021-06-12	2	-44/+1
\|
*	aux/: Update files	EuAndreh	2021-06-11	19	-179/+316
\|
*	aux/workflow/public.sh: Mark as executable	EuAndreh	2021-03-23	1	-0/+0
\|
*	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 scripts/git-permalink.in stub	EuAndreh	2021-03-22	1	-0/+18
\|
*	Add base skeleton project files	EuAndreh	2021-03-21	26	-0/+1222