mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
7378bee983
Move the local path normalization process to a stand-alone function. Fix a bug that caused relative paths to not be properly resolved due to missing `true` in `remove_dots`.