| 2013-12-11 | Noam Postavsky | fix a faq title | blob | commitdiff | raw |
| 2013-12-02 | Joao Tavora | minor: cosmetic fixes to manual | blob | commitdiff | raw | diff to current |
| 2013-12-02 | Joao Tavora | Closes #439: add a faq question about redefining keys | blob | commitdiff | raw | diff to current |
| 2013-11-27 | Noam Postavsky | move top heading to title | blob | commitdiff | raw | diff to current |
| 2013-11-27 | Noam Postavsky | {snippet-development,faq}.org: fixup pandoc output | blob | commitdiff | raw | diff to current |
| 2013-11-27 | Noam Postavsky | convert old rst manuals to org mode | blob | commitdiff | raw | diff to current |
| 2012-05-07 | Joao Tavora | merged every org file into manual.org | blob | commitdiff | raw |
| 2012-05-07 | João Távora | scaffolding for a doc revamp | blob | commitdiff | raw | diff to current |