Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix a format string | Ralf Jung | 2015-07-19 | 1 | -1/+1 |
* | fix some bugs | Ralf Jung | 2015-06-08 | 1 | -1/+1 |
* | add a script to setup github repositories appropriately | Ralf Jung | 2015-06-08 | 1 | -0/+85 |
index : git-mirror | ||
copy of git-mirror repo |
aboutsummaryrefslogtreecommitdiffstats |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix a format string | Ralf Jung | 2015-07-19 | 1 | -1/+1 |
* | fix some bugs | Ralf Jung | 2015-06-08 | 1 | -1/+1 |
* | add a script to setup github repositories appropriately | Ralf Jung | 2015-06-08 | 1 | -0/+85 |