diff options
| author | Evgeniy Khramtsov <ekhramtsov@process-one.net> | 2011-09-05 21:27:31 +1000 |
|---|---|---|
| committer | Evgeniy Khramtsov <ekhramtsov@process-one.net> | 2011-09-05 21:27:31 +1000 |
| commit | 6b0eb1f09d310f95f673f8b41d7fa3db675f6ec3 (patch) | |
| tree | eeeb981c995020e37e98e93e64f5894b6b6f7d38 /doc/guide.tex | |
| parent | Get rid of useless check (diff) | |
Reorganize the code to shut up the dialyzer
Diffstat (limited to 'doc/guide.tex')
0 files changed, 0 insertions, 0 deletions