>>>>> "Armin" == Armin Rigo <arigo@tunes.org> writes:
Armin> Can't we deprecate the thing and move it elsewhere? (where?)
How about just adding commonpathprefix? As I mentioned before, there's an
implementation in Tools/scripts/trace.py.
Armin> In all cases, wouldn't it be worth a documentation note?
The docs for the function state, "Note that this may return invalid paths
because it works a character at a time." I suspect that's sufficient.
Skip
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4