| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | 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 git ignore *.patch files | fpi | 2020-07-14 | 
| | | |||
| * | Add a .gitignoreinit | fpi | 2020-01-29 | 
