diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2015-01-23 00:42:18 +0100 |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2015-01-23 00:42:18 +0100 |
| commit | 0a047d790faed9caa9ad150dce16529ddc233afc (patch) | |
| tree | 3b418fba32600c47ec8c6e7f3e18c7007222c5a5 /doc/guide.tex | |
| parent | Fix integer parameter which can be set to 0 (diff) | |
Fix a few function specifications
Diffstat (limited to 'doc/guide.tex')
0 files changed, 0 insertions, 0 deletions