Eelco Dolstra 2dc6d58845 Merge pull request #1052 from Mic92/docs ... Document github integration further.		2021-11-02 15:29:07 +01:00
..
manual	Merge pull request #1052 from Mic92/docs	2021-11-02 15:29:07 +01:00
dev-notes.txt	Remove the "releases" feature	2020-05-06 12:39:21 +02:00
Makefile.am