# HG changeset patch
# User Tercio
# Date 1477418391 7200
# Node ID 6572ed4edaaeb58a347d71fcb1559b209cb9bdca
# Parent  d0d5c7a4c1f8b76c0a0b4e441f9ed5d3d6fe49b4
toc update

diff -r d0d5c7a4c1f8 -r 6572ed4edaae HotCorners.toc
--- a/HotCorners.toc	Tue Jul 19 13:57:26 2016 -0300
+++ b/HotCorners.toc	Tue Oct 25 15:59:51 2016 -0200
@@ -1,4 +1,4 @@
-## Interface: 70000
+## Interface: 70100
 ## Title: Hot Corners
 ## Notes: Adds a bar over the top left side.
 ## SavedVariables: HotCornersDB