diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-05 17:55:10 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-05 17:56:16 +0100 |
| commit | 1fe296cd7de29c37a735c4bef4979310c25bffb3 (patch) | |
| tree | cdefb98e9e2a3758288e011c5343794494f10fa8 /printing/richprinter.ml | |
| parent | 0e35acf14e0289b5a531d385eaf0506db4430da4 (diff) | |
Windows: open .vo files in binary mode
Diffstat (limited to 'printing/richprinter.ml')
0 files changed, 0 insertions, 0 deletions