diff options
| author | Emilio Jesus Gallego Arias | 2019-02-17 17:51:05 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-20 13:34:15 +0100 |
| commit | d6f88819f5279e94d33e0e15f6be1e368210af08 (patch) | |
| tree | edccd4dcde64a2a8fba0250050f08ce987175015 /doc/plugin_tutorial/tuto1/src/dune | |
| parent | 565a30614c6df16466f66cac1e517f9202612709 (diff) | |
[paths] Try to be more portable on Win32
Absolute paths follow different separator rules so "c:\foo/bar" may
not work on `mingw`.
We try to improve this situation using OCaml's `Filename.dir_sep/concat`
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/dune')
0 files changed, 0 insertions, 0 deletions