diff options
author | cpettet <rush@wikimedia.org> | 2015-06-23 14:39:58 -0500 |
---|---|---|
committer | cpettet <rush@wikimedia.org> | 2015-06-23 14:39:58 -0500 |
commit | de38d14f7f2529160d53009b93d6902426ce687c (patch) | |
tree | e0e82f2e9ba7c1891bfbdbf367aaebed0ee929ec | |
parent | 64ce71382c44f68de8bb1c162ef4fb5467a0af7a (diff) |
public_task_dump header
Change-Id: I3665f0189765553af07e83e12471b0ce766c9f11
-rwxr-xr-x | public_task_dump.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/public_task_dump.py b/public_task_dump.py index 94b2271..d575f36 100755 --- a/public_task_dump.py +++ b/public_task_dump.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python import os import sys import json |