author Mike Hommey <mh+mozilla@glandium.org>
Mon, 14 Jan 2019 18:41:07 +0000
changeset 513857 2809c756574d28c25d031eecd41779d3392c44d4
parent 491275 bc1b51b050b02c474c44e27ad45fc52fc5873955
permissions -rw-r--r--
Bug 1519603 - Remove the File class in subconfigure.py. r=nalexander The File class is now used only in one place, only for its mtime property, which can be replaced with os.path.getmtime. Depends on D16402 Differential Revision: https://phabricator.services.mozilla.com/D16403