diff options
| author | Kathy Gray | 2015-03-18 16:10:18 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-03-18 16:10:18 +0000 |
| commit | 7e4c3a75bae473f7e3fc1117187b7bcacef3c249 (patch) | |
| tree | c607eebdbc4ddafc6825ad55dc98a6abfab73560 /src/pp.ml | |
| parent | e15a5884ea4e29492869655a3daaa8cbdcd48828 (diff) | |
Use boolean on write where applicable
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions