-
Michael Hanselmann authored
- str.split("/").pop() should be os.path.basename - str.split("\n") should be str.splitlines() Signed-off-by: Michael Hanselmann <hansmi@google.com> Reviewed-by: Iustin Pop <iustin@google.com>
2c094917
- str.split("/").pop() should be os.path.basename - str.split("\n") should be str.splitlines() Signed-off-by: Michael Hanselmann <hansmi@google.com> Reviewed-by: Iustin Pop <iustin@google.com>