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 |