| author | Wladimir J. van der Laan <laanwj@gmail.com> | |
| Sun, 3 Apr 2016 12:26:56 +0000 (14:26 +0200) | ||
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | |
| Sun, 3 Apr 2016 12:29:11 +0000 (14:29 +0200) | ||
| commit | 71f9f40fa9e44351f7a9ebabff622c2569689745 | |
| tree | ab3e2090d2c2cfce7de3d9211be2fd82d361771a | tree |
| parent | f9d7091c3b04fd9aa067ed1c087a29faac55d640 | commit | diff |
| manual/manual.tex | diff | blob | history |