Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add update target to combine pull and dev | fpi | 2020-09-27 |
| | |||
* | Add make target for dev+ branch | fpi | 2020-08-23 |
| | |||
* | Add experimental way to reduce amount of tangling | fpi | 2020-07-27 |
| | | | | | | Works by saving the git commit hash upon tangling. Currently this does not record if tangling fails for some reason. | ||
* | Make tangling of readme silent | fpi | 2020-07-23 |
| | |||
* | Add explicit make targets for readme tangles | fpi | 2020-07-16 |
| | |||
* | Add make install target for fresh installations | fpi | 2020-07-15 |
| | |||
* | Add a script to pull from origin with rebase | fpi | 2020-07-15 |
| | |||
* | Add a basic Makefile | fpi | 2020-07-08 |