# HG changeset patch
# User Tercio
# Date 1532124739 10800
# Node ID 817b319cd8ce13a198d5ec516ea5d1646c8e9e8f
# Parent  850f3b30758546adc6412d5922cf9d72a6ab0717
- 8.0.1 Update.

diff -r 850f3b307585 -r 817b319cd8ce HotCorners.toc
--- a/HotCorners.toc	Sat Sep 02 14:11:00 2017 -0300
+++ b/HotCorners.toc	Fri Jul 20 19:12:19 2018 -0300
@@ -1,4 +1,4 @@
-## Interface: 70300
+## Interface: 80000
 ## Title: Hot Corners
 ## Notes: Adds a bar over the top left side.
 ## SavedVariables: HotCornersDB