shrink large files
diff --git a/mag/user_proj_example.mag b/mag/user_proj_example.mag deleted file mode 100644 index 519f6db..0000000 --- a/mag/user_proj_example.mag +++ /dev/null Binary files differ
diff --git a/mag/user_proj_example.mag.gz b/mag/user_proj_example.mag.gz new file mode 100644 index 0000000..e9514c3 --- /dev/null +++ b/mag/user_proj_example.mag.gz Binary files differ