| commit | 493a92220844c8996be67c8a7a2c5447942fe2c1 | [log] [tgz] |
|---|---|---|
| author | Khaled Hosny <[email protected]> | Wed Dec 23 00:33:41 2015 +0400 |
| committer | Khaled Hosny <[email protected]> | Thu Dec 24 01:52:17 2015 +0400 |
| tree | 1df78532185d417a675bc0517205fefa6c3bee25 | |
| parent | 4dc2265918089ee08c6d82eed0cfd41e02d7d231 [diff] |
Rename user manual files Use chapter ids instead of numbers, so that we can reorder them, introduce new ones etc. without the numbers becoming out of date.