summaryrefslogtreecommitdiff
path: root/Makefile (unfollow)
Commit message (Expand)Author
2020-12-19Add mkdir before tanglingfpi
2020-10-14Expand update target to also merge and rebasefpi
2020-09-27Add update target to combine pull and devfpi
2020-08-23Add make target for dev+ branchfpi
2020-07-27Add experimental way to reduce amount of tanglingfpi
2020-07-23Make tangling of readme silentfpi
2020-07-16Add explicit make targets for readme tanglesfpi
2020-07-15Add make install target for fresh installationsfpi
2020-07-15Add a script to pull from origin with rebasefpi
2020-07-08Add a basic Makefilefpi