diff options
Diffstat (limited to 'Scripts')
-rw-r--r-- | Scripts/record_playback.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Scripts/record_playback.py b/Scripts/record_playback.py index e518356..5d3956e 100644 --- a/Scripts/record_playback.py +++ b/Scripts/record_playback.py @@ -139,3 +139,4 @@ def main(): if __name__ == "__main__": main() + |