summaryrefslogtreecommitdiff
path: root/utils/build_path_prefix_map.ml
Commit message (Expand)AuthorAgeFilesLines
* New Build_path_prefix_map module interfaceRichard L Ford2023-03-271-15/+14
* Printexc.catch, Printf.kprintf, Unix.SO_ERROR: add deprecation warning (#10924)Nicolás Ojeda Bär2022-01-211-1/+1
* Add missing copyright headersDavid Allsopp2018-06-131-0/+15
* utils: import build_path_prefix_map libraryGabriel Scherer2018-03-011-0/+104