diff options
| author | David Aspinall | 2011-01-12 10:17:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-12 10:17:40 +0000 |
| commit | 26dbc9d6f2323d28677535fcb97cb49ee8742b17 (patch) | |
| tree | 6babfa132ace5aeb14eba667678e56f92c5223bd /doc | |
| parent | a0989ebd96d6e15f24f902a45b9147b10c912974 (diff) | |
Type-check on integer settings
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions