aboutsummaryrefslogtreecommitdiffhomepage
path: root/README.md
Commit message (Collapse)AuthorAgeFilesLines
* ci: introduce MakefileJohannes Stoelp2023-12-081-0/+8
| | | | | | | Add CI checks into ci/Makefile and update gh actions. Motivation is, that makefile can also be added as pre-commit hook for local development: > echo 'make -C ci' > .git/hooks/pre-commit; chmod +x .git/hooks/pre-commit
* remove preludeJohannes Stoelp2023-12-071-3/+4
|
* fix typoJohannes Stoelp2023-12-051-1/+1
|
* update readme to describe examplesJohannes Stoelp2023-12-051-0/+6
|
* Fix comment in READMEJohannes Stoelp2023-10-221-1/+1
|
* Fix readme for gitlite about formatterJohannes Stoelp2023-03-051-0/+1
|
* Remove falsely commit lines in readmeJohannes Stoelp2023-03-051-2/+0
|
* Add gh action badgesJohannes Stoelp2023-03-051-0/+9
|
* Updated doc commentsJohannes Stoelp2023-03-051-1/+1
|
* Add README and LICENSEJohannes Stoelp2023-02-271-0/+47