Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump man documentation's month | David Rodríguez | 2019-09-01 | 1 | -1/+1 |
* | Revert "Remove now meaningless setting" | David Rodríguez | 2019-08-26 | 1 | -0/+4 |
* | Document upcoming changes to remembered options | Tomoki Aonuma | 2019-08-14 | 1 | -126/+129 |
* | Commit man pages to source control | David Rodríguez | 2019-08-10 | 1 | -0/+521 |