Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | November man pagesnovember_manpages | David Rodríguez | 2019-11-01 | 1 | -1/+1 |
* | October manpagesoctober_manpages | David Rodríguez | 2019-10-01 | 1 | -1/+1 |
* | 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/+3 |
* | Document upcoming changes to remembered options | Tomoki Aonuma | 2019-08-14 | 1 | -1/+4 |
* | Commit man pages to source control | David Rodríguez | 2019-08-10 | 1 | -0/+491 |