diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-29 11:29:33 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-09-29 11:29:33 +0100 |
commit | 18c62c8a39d95ce3bb10ff5446bb589b1128a090 (patch) | |
tree | f829779003722fb50082b5aa55a725aed841d449 /docs/dev | |
parent | 7b674f9ab491fdd01278c21f539e65239518e296 (diff) | |
parent | f2ae412ccfa96c4bde42f0b004594c4d6fa54634 (diff) |
Merge #6019
6019: Remove make::path_from_text r=matklad a=Veykril
This removes the `make::path_from_text` function, which according to a note should've been private. I removed it since it didn't really serve a purpose as it was simply wrapping `make::ast_from_text`.
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions