| commit | 9c5ef6df54168348d0e022e3107208242cef99e3 | |
| author | Jez Ng <jezng@fb.com> | |
| Thu, 14 May 2015 00:16:22 +0000 (13 17:16 -0700) | ||
| committer | hhvm-bot <hhvm-bot@fb.com> | |
| Thu, 14 May 2015 00:31:27 +0000 (13 17:31 -0700) | ||
| tree | 010a8f70c86edca2d9e6d147e5492b50cd0dba87 | treesnapshot (tar.gz zip) |
| parent | d181ac0d8d9878122be1b96ae7c9d889a3b07e85 | commitdiff |
Rename names in Path module
Summary: Rename `Path.path` to `Path.t`, `Path.mk_path` to `Path.make`, and
`Path.string_of_path` to `Path.to_string`.
Reviewed By: @jwatzman
Differential Revision: D2059917
Summary: Rename `Path.path` to `Path.t`, `Path.mk_path` to `Path.make`, and
`Path.string_of_path` to `Path.to_string`.
Reviewed By: @jwatzman
Differential Revision: D2059917
30 files changed: