diff options
| author | Kali Kaneko <kali@leap.se> | 2014-10-07 18:56:31 +0200 |
|---|---|---|
| committer | Kali Kaneko <kali@leap.se> | 2014-10-07 18:56:31 +0200 |
| commit | 42d9b82af327fee94a8b626e2606b0b854140ce2 (patch) | |
| tree | 846eaf6fae05d1c6755f87535b35d44ab022b0b1 /scripts/profiling/sync/util.py | |
| parent | a7568bd38bdc63de5f074861862390281f49abf0 (diff) | |
| parent | 0a66ad2bbebb366a72de925ab6ebf65e1bd117c0 (diff) | |
Merge remote-tracking branch 'remotes/drebs-github/deb-0.6.0' into debian
Diffstat (limited to 'scripts/profiling/sync/util.py')
| l--------- | scripts/profiling/sync/util.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/profiling/sync/util.py b/scripts/profiling/sync/util.py new file mode 120000 index 00000000..7f16d684 --- /dev/null +++ b/scripts/profiling/sync/util.py @@ -0,0 +1 @@ +../util.py
\ No newline at end of file |