diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-08-10 08:40:22 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-08-10 08:40:22 +0200 |
| commit | 3af57a8e6a18986c41351da2447363ede8565402 (patch) | |
| tree | f345099ab8b5b9d72d39358fd5c6f269171e573c /script/scons-time | |
| parent | 9c04223086bf606eaac6dc2848af80518210d823 (diff) | |
New upstream version 3.1.1upstream/3.1.1
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 |