diff options
author | Evgeny Khramtsov <xramtsov@gmail.com> | 2015-01-23 16:44:48 +0300 |
---|---|---|
committer | Evgeny Khramtsov <xramtsov@gmail.com> | 2015-01-23 16:44:48 +0300 |
commit | 0c501b760f119fcf1186001b8de303664ebaeef3 (patch) | |
tree | 3b418fba32600c47ec8c6e7f3e18c7007222c5a5 /doc/guide.tex | |
parent | Fix integer parameter which can be set to 0 (diff) | |
parent | Fix a few function specifications (diff) |
Merge pull request #414 from weiss/fix-function-specs
Fix a few jlib function specifications
Diffstat (limited to 'doc/guide.tex')
0 files changed, 0 insertions, 0 deletions