| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | merge the different manual/*.rst include files. Was too hard to find the ↵ | Andreas Rumpf | 2018-04-14 | 1 | -129/+0 |
| | | | | | corresponding sections otherwise. Hope it means the manual is more likely to be kept up to date. | ||||
| * | doc: Trim .txt files trailing whitespace | Adam Strzelecki | 2015-09-04 | 1 | -18/+18 |
| | | | | | via OSX: find . -name '*.txt' -exec sed -i '' -E 's/[[:space:]]+$//' {} + | ||||
| * | Change wording in some parts. Fix some typos. | Oscar Campbell | 2015-05-25 | 1 | -1/+1 |
| | | |||||
| * | Manual renames | def | 2015-01-16 | 1 | -2/+2 |
| | | |||||
| * | manual split up into multiple files; documented the new concurrency system | Araq | 2014-10-02 | 1 | -0/+129 |