compress
diff --git a/def/user_proj_example.def b/def/user_proj_example.def deleted file mode 100644 index 512c7d1..0000000 --- a/def/user_proj_example.def +++ /dev/null Binary files differ
diff --git a/def/user_proj_example.def.tar.gz b/def/user_proj_example.def.tar.gz new file mode 100644 index 0000000..5cc7563 --- /dev/null +++ b/def/user_proj_example.def.tar.gz Binary files differ
diff --git a/mag/user_project_wrapper.mag b/mag/user_project_wrapper.mag deleted file mode 100644 index 3348cc8..0000000 --- a/mag/user_project_wrapper.mag +++ /dev/null Binary files differ
diff --git a/mag/user_project_wrapper.mag.tar.gz b/mag/user_project_wrapper.mag.tar.gz new file mode 100644 index 0000000..a0c8839 --- /dev/null +++ b/mag/user_project_wrapper.mag.tar.gz Binary files differ