def compressed
diff --git a/def/rest_top.def b/def/rest_top.def deleted file mode 100644 index f8c7e93..0000000 --- a/def/rest_top.def +++ /dev/null Binary files differ
diff --git a/def/rest_top.def.gz b/def/rest_top.def.gz new file mode 100644 index 0000000..0fc1592 --- /dev/null +++ b/def/rest_top.def.gz Binary files differ