Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ppx: Remove sensitivity to paths passed on the command line
eliom_ppx_client and eliom_ppx_server could be passed different paths to the same files, as Dune execute commands from different current directories. However, this might create collisions if two file have the same name.
- Loading branch information