diff options
Diffstat (limited to 'script/scons-time')
| -rw-r--r-- | script/scons-time | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/scons-time b/script/scons-time index 975ff64..15e3700 100644 --- a/script/scons-time +++ b/script/scons-time @@ -31,7 +31,7 @@ # WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. from __future__ import division, print_function -__revision__ = "src/script/scons-time.py e724ae812eb96f4858a132f5b8c769724744faf6 2019-07-21 00:04:47 bdeegan" +__revision__ = "src/script/scons-time.py 72ae09dc35ac2626f8ff711d8c4b30b6138e08e3 2019-08-08 14:50:06 bdeegan" import getopt import glob |