remove large video files

Berkeley-Correctness-Group · Jan 24, 2014 · d6c2dc5 · d6c2dc5
1 parent 38f8551
commit d6c2dc5
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/paper/Jalangi_demo_video.m4v b/paper/Jalangi_demo_video.m4v
diff --git a/paper/Jalangi_demo_video.mp4 b/paper/Jalangi_demo_video.mp4
diff --git a/paper/Jalangi_demo_video_hd.mp4 b/paper/Jalangi_demo_video_hd.mp4