Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add script to (re-)tangle all files | fpi | 2020-04-05 |
* | Include remote branches in the merge script | fpi | 2020-02-23 |
* | Exclude branches which match +$ in merge script | fpi | 2020-02-23 |
* | Add git merge script | fpi | 2020-02-02 |
* | Add README | fpi | 2020-01-29 |
* | Add a .gitignoreinit | fpi | 2020-01-29 |
* | An orphan | fpi | 2020-01-29 |